- 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:
- Old Projects
- There are several older projects that I no longer work on.