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

Selected Presentations

Selected Papers


Big page of links that Matt has collected

It's Still Social Work to Me (video)

Kaubells Tunes

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)

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)
  • My big sports moment :)

    Notes on my use of the screen utility

    Department of Computer Science
    University of Texas at Austin