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.

Office: Main 2002
Phone: 512 471-9780
Fax: 512 471-8885

The ACL2 Theorem Prover

Co-organized in 2010:

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

    It's Still Social Work to Me (video)

    Kaubells Tunes


    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)

    Miscellaneous documents

    My big sports moment :)

    Department of Computer Science
    University of Texas at Austin