Dr. Warren A. Hunt Jr. ist Professor an der Fakultät für Informatik der University of Texas in Austin, wo er Formale Methoden und Rechnerarchitektur lehrt. Er arbeitet an Methoden für die Analyse von Mikroprozessoren, Programmverifikation, Theorembeweisern und Rapid-Single-Flux-Quantum (RSFQ)-Logik.Prof. Hunt arbeitet seit 35 Jahren im Bereich der Hardwareverifikation und hat Formale Verifikationswerkzeuge für die Überprüfung zahlreicher Mikroprozessordesigns (FM8501, FM8502, FM9001, Motorola CAP DSP, FM9801, VIA Nano, und Oracle SPARC) eingesetzt. Prof. Hunt ist der Vorsitzende des Steering Committees der FMCAD-Konferenzreihe und Associate Editor des Journals „Formal Methods in System Design“.Bevor er 2002 seine Arbeit an der University of Texas aufnahm, war er von 1997 bis 2002 als Forscher und Manager im Forschungslabor der IBM in Austin angestellt, wo er an Formaler Verifikation und Hochleistungsrechnern forschte.Von 1986 bis 1997 war er Vizepräsident der Hardwaretechnikabteilung von Computational Logic, Inc.Dr. Hunt hat einen Bachelor-Abschluss (BSEE) der Rice University, ist Doktor der Informatik (University of Texas Austin) und ein ACM Distinguished Engineer.Warren A. Hunt, Jr. ist Reihenherausgeber der Schriftenreihe „Conference Series: Formal Methods in Computer-Aided Design“.