Warren Hunt Jr.

Warren A. Hunt, Jr. is a Professor at the The University of Texas at Austin in the Department of Computer Sciences. He specializes in formal methods, computer architecture, and computational biology, with a focus on X86 specification in ACL2, RSFQ computing, and biological-inspired computing.

• 25+ years in hardware verification
• First mechanical verification of a microprocessor (1985)
• Associate Editor, Formal Methods in System Design journal

Research Interests include formal specification, program verification, automated theorem-proving, and computational biology tools. His work spans microprocessor design validation, symbolic simulation, and linear/nonlinear arithmetic in ACL2.

Scientific Awards:

• ACM 2015 Distinguished Engineer

Advising: Supervises current PhD students Gavin Meil and Balasubraman Muthuveli. Has advised 12 PhD graduates, including Sol Swords (Intel) and Serita Nelesen (co-advised with Tandy Warnow).

Grants & Collaborations: Leads NSF-funded projects like TC: Small (memory analysis) and TWC: Large (internet routing). Collaborates with ARM Corporation, Intel, and Centaur Technology.

Labs & Conferences: Active in the ACL2 theorem proving community, served as FMCAD Steering Committee Chair (1996-2020), and co-organized FMCAD 2000.