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).
