Matt Kaufmann
Senior Research Scientist (Retired)
Department of Computer Sciences
University of Texas at Austin
Email: kaufmann@cs.utexas.edu
The ACL2 Theorem Prover
Selected Presentations
Selected Papers
Resume
Long version (PDF)
Shorter version (PDF)
Short bio (text)
Shorter bio (text)
Big page of links that Matt has collected
It's Still Social Work to Me (video)
Kaubells Tunes
Holiday Letters
2023
[PDF]
2022
[PDF]
2021
[PDF]
2020
[PDF]
2019
[PDF]
2018
[PDF]
2017
[PDF]
2016
[PDF]
2015
[PDF]
2014
[PDF]
2013
[PDF]
2012
[PDF]
2011
[PDF]
2010
[PDF]
2009
[PDF]
2008
[Word/Rtf]
[Text]
2007
[Word]
[Rtf]
[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
A timekeeping tool
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
.
ITP home page
with link to EasyChair program page
Program page with slides
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
