My Photo
Jared Davis
11410 Windermere Meadows
Austin, TX 78759-4551
jared@cs.utexas.edu

About Me

I'm originally from Omaha, Nebraska. I studied computer science at UT Austin and completed my Ph.D. in 2009.

I now work full time at Centaur Technology in the formal verification group, with some consulting on the side via Kookamara.

Contact Info

By Phone...
Mobile: 1 (512) 758-9967
Work: 1 (512) 418-5736
Skype: jared.c.davis (often idle)
By IRC...
irc.freenode.net#ccl (clop)
By Email...
jared.c.davis@gmail.com
By Tortise...
Jared Davis
11410 Windermere Meadows
Austin, TX 78759-4551 USA

Recent Publications

Other Selected Publications

Full list of publications, with abstracts.


ACL2 Projects

Most of my work has to do with the ACL2 theorem prover. You may be interested in:

Milawa
My dissertation project, Milawa, is a small proof checker which can be extended with new proof techniques. Extensions can be verified by the small, trusted core so that new capabilities do not reduce our trust in the system.

Old Projects — I don't work on these anymore.