About Me

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 sematics à la Montague and Hogan semantics.

My other interests include my lovely fiance 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

Those that can give up essential liberty to obtain a little temporary safety deserve neither liberty nor safety.

-- Benjamin Franklin

Another quote? View all quotes

A Frequently Asked Question

If you are curious about the faces in the picture at the top 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).

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

Logicians Hard at Work

Shamelessly copied from here.