me
Sitting on the edge (literally) of the Cliffs of Moher.
For a older picture, click here.

About Me

I'm currently a grad student at the University of Cincinnati in the College of Engineering pursuing a Ph.D. in Computer Science and majoring in Pure Mathematics. My Areas of interest include Formal Semantics, Logic Programming & Nonmonotonic reasoning, Artificial Intelligence theory, and various fields of foundational mathematics.

Although my studies keep me rather busy, I am available for private consultation and general computer work, as described on my services page.

My vitae: html, dvi, ps, pdf, doc, text
A shameless plug: my Amazon wish list.

If you are curious about the faces in the picture at the top-right of this site, they are (in order from left to right) L. E. J. Brouwer, Bertrand Russell, Kurt Gödel, Gerhard Gentzen, Alfred Tarski, Solomon Feferman, Jon Barwise, and John Schlipf (my PhD advisor).

We're not really taught how to recreate constructively. We need to do more than find diversions; we need to restore and expand ourselves. Our idea of relaxing is all too often to plop down in front of the television set and let its pandering idiocy liquefy our brains. Shutting off the thought process is not rejuvenating; the mind is like a car battery— it recharges by running.
-- Bill Watterson
Another quote?         View all quotes


Logicians working
Logicians hard at work (shamelessly copied from here)