| ryanflannery.net | |
|
navigation:
link roll:
m & r . net
m & r rate recipes
neal hogan
§apio§oft
λ server
wvxu/wnku/npr
cet/ket/pbs logic matters log blog tim gowers scott aaronson OpenBSD OpenPorts.se Undeadly.org xkcd PhD comics |
About MeI 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 QuoteThose 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 QuestionIf 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. |
© 2003-2009 Ryan Flannery |
|