Sitting on the edge (literally) of the Cliffs of Moher.
For an older picture of myself, click here, here, or 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. My Ph.D. advisor is Professor John Schlipf.
Research Interests
After taking a Mathematical Logic course sequence in 2004, I've been actively working in the areas of logic and mathematical foundations. Specific areas that I'm interested in and have been working with include finite model theory & descriptive complexity, and (most recently) abstract state machines / evolving algebras (ASMs).
I'm also interested in the philosophy of language, including Montague
semantics and other formal approaches. My friend Neal Hogan is working
in the area for his PhD in Philosophy, and if you're interested, you
should check out his website (link to the right). Additionally, we
spend considerable time one summer studying lambda calculus and other
areas of logic, putting together copious notes in that and other areas.
You can find these notes on the
Studies in Logic page.
Other Interests
My other interests include my girlfriend
Meghan, our two cats
(Gödel and
Huey), gardening, and mountain biking.
I also enjoy general computer nerd-ery
(OpenBSD +
vim +
evilwm ==
heaven).
You can find some of my own contributions on my
works page (currently under construction).
Someday, we'll live on a farm... with goats.
Random quote...
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).