Warren A. Hunt, Jr.

Warren A. Hunt, Jr. is a Professor in the Department of Computer Sciences at The University of Texas at Austin. His research focuses on formal methods for hardware and software verification, computer architecture, low-power computing, and biological-inspired systems. He leads projects in specifying and validating computer memory models, extending the ACL2-based x86 specification, and exploring rapid single-flux quantum (RSFQ) computing.

• Research Interests
  • Formal specification and verification of hardware/software systems
  • Computer architecture and low-power design
  • Biological-inspired computing
  • ACL2 theorem prover applications
  • X86 ISA modeling
• Notable Contributions
  • Verification of complex microprocessor designs
  • Development of formal tools for hardware/software co-verification
  • Leadership in the FMCAD conference (chairman until 2020)
• Academic Collaborations
  • Work with Centaur Technology on x86 processors
  • Collaborations with industry partners (Intel, AMD, ARM)
  • Keynote talks at international venues (Newton Institute, Royal Society)

Publications (2017–2025) span formal verification of multipliers, self-timed circuits, RSFQ systems, and x86 machine-code analysis. His Google Scholar page lists all his work.

• PhD Students
  • Current: Balasubraman Muthuvelu, Gavin Meil, Carl Kwan
  • Graduates: Jun Sawada (1999), Sol Swords (2010), Shilpi Goel (2016), and others
• Leadership
  • Chairman of FMCAD steering committee (1996–2020)
  • Editorial roles in multiple FMCAD/CHARME conferences