Talks and Presentations

• "Mechanical Verification of Elementary Calculus Theorems in ACL2." Presented at the Department of Mathematics of the University of Northern Colorado, September 2006.
• "An Overview of Automated Reasoning." Guest lecture in Diana Spears' Artificial Intelligence II class, January 2006.
• "Building Truly Database-Independent Applications." Presented in Software Developer West (SD West), March 2005.