Matt Kaufmann

Senior Research Scientist (Retired)
Department of Computer Sciences
University of Texas at Austin


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