Talks and Presentations

• "The Chain Rule and Friends in ACL2(r)." Presented at the ACL2 Workshop, November 2007.
• "Red-Black Trees for DrACuLa." Presented at the ACL2 Workshop, November 2007.
• "Computing in Astronomy." Presented at the Launch Pad Workshop for writers of science fiction, July 2008, and again July 2009.
• "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.