Education history
Indiana University, Bloomington, Indiana
Ph.D. Mathematics, July 2004
Thesis: Reflexive Logics – Intermediate logics that can prove their own completeness
If you'd like a PDF of my dissertation, send me an email.
Thesis Advisor: Prof. David Charles McCarty
M.S. Computer Science, May 2004
Masters Software Project – Group Explorer (group theory visualization software)
Project Advisor: Prof. Douglas R. Hofstadter
M.S. Mathematics, April 2001
University of Scranton, Scranton, Pennsylvania
B.S. Mathematics and Computer Science, May, 1999
Magna cum laude
Lafayette College, Easton, Pennsylvania
Research Experience for Undergraduates Program, Summer 1997
Team Advisor: Prof. Clifford A. Reiter
