About Me

I'm a Ph.D. student in computer science at UT Austin. My emphasis is in theorem proving. I'm originally from Omaha, Nebraska.

• Schedule and Contact Info
• Publications

I'm currently working on my dissertation. My committee members are:

• J Moore
• Warren Hunt, Jr.
• Matt Kaufmann
• Vladimir Lifschitz
• E. Allen Emerson
• John Harrison

My Projects

Milawa

My current project, Milawa, is a small proof checker which can be extended with new proof techniques. Extensions can be verified by the small, trusted core so that new capabilities do not reduce our trust in the system. Milawa is the central project for my dissertation.

ACL2 Projects

Most of my more recent work has to do with the ACL2 theorem prover.

• A convenient installer program for Windows users
• An advanced set theory library based on ordered lists
• A library for representing processor memories
• A library for reasoning about file input routines
• Other miscellaneous "snippets"

Old Projects

There are several older projects that I no longer work on.

• Aiksaurus, a free English-language thesaurus
• The Sandia Secure Processor, a hardware implementation of a JVM subset
• The Research Wizard, a web application at UNO library
• Feature Oriented GUIs, a class project for feature oriented Java programs