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.
News
- 11/1/09 Imogen handles linear and ordered first-order logic.
