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

  • ITP 2010: Int'l Conference on Interactive Theorem Proving (ITP) 2010: July 11-14, 2010, Edinburgh, Scotland; part of FLoC 2010.
  • Big page of links that Matt has collected

    Kaubells Tunes

    Resume

    Selected Presentations

    Holiday Letters

    Emacs help

    Some random class notes

    Picture with wife, Holly (June 2008)

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

    Computer Sciences Department,
    University of Texas at Austin.