About Me
I'm originally from Omaha, Nebraska. I have recently completed my Ph.D. in computer science at UT Austin, and am now working full time at Centaur Technology in the formal verification group.
My Projects
- Milawa
- My dissertation 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.
- ACL2 Projects
- Most of my work has to do with the ACL2 theorem prover.
You may be interested in:
- The ACL2 Books project
- 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
