About Me

Currently I am a full-time graduate student at the University of Cincinnati pursuing a Ph.D. in Computer Science under the guidance of Professor John Schlipf. My research areas are logic & mathematical foundations, with a focus in finite model theory & descriptive complexity, and evolving algebras / abstract state machines. I hope to be finished with my Ph.D. by ~3010.

I am also interested in the philosophy of language and formal semantics à la Montague and Hogan semantics.

My other interests include my lovely fiancée Meghan, our two cats (Gödel and Huey), gardening, writing, mountain biking, Go, and general computer nerd-ery. Someday we will live on a farm... with goats.

Random Quote

A Frequently Asked Question

If you are curious about the faces in the picture at the top-left 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). NOTE: The image is currently under construction, and thus not there.

The wire-frame blowfish in the top-right is “Puffy”, the OpenBSD mascot.

Logicians Hard at Work

Shamelessly copied from here.