I have tried to put down such miracles as can be evoked from common earth. But men see differently. I can at best report only from my own wilderness. The important thing is that each man possess such a wilderness and that he consider what marvels are to be observed there. — Loren Eisley




Welcome! I'm a graduate student in computer science at Carnegie Mellon University in Pittsburgh, PA. I am interested in automated theorem proving and programming languages. My advisor is Frank Pfenning. See the links at the left for further information.

Contact

News