Matt Kaufmann

Senior Research Scientist Department of Computer Sciences Taylor Hall 2.124 University of Texas at Austin Austin, TX 78712-1188 U.S.A. Email: kaufmann@cs.utexas.edu Office: Main 2002 Phone: 512 471-9780 Fax: 512 471-8885

The ACL2 Theorem Prover

Pictures from ACM Awards Ceremony (see also here for additional pictures)

Slides for a Talk (with J Moore) at the 2006 UT CS Visions Lectures

Kaubells Tunes

Resume

• Long version [PDF] [Postscript]
• Shorter version [PDF] [Postscript]

Selected Presentations

Selected Recent Publications

• Efficient Execution in an Automated Reasoning Environment (by David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, Josƒ Luis Ruiz-Reina, Rob Sumners, Daron Vroon and Matthew Wilding).

Holiday Letters

• 2007 [Word] [Text]
• 2006 [HTML] [Word]
  • Associated picture
• 2005 [Word] [HTML]
• 2003 [Text]
• 2002 [rtf (Word)] [Text]

Emacs help

• Some Emacs Basics (very brief!)
• A helpful .emacs file distributed with ACL2

Some random class notes

Computer Sciences Department,
University of Texas at Austin.