Dr. Warren A. Hunt, Jr. is a Professor at the University of Texas Computer Science Department, where he teaches formal methods and computer architecture, and he develops methods for microprocessor analysis, program verification, theorem-proving methods and RSFQ logic.Dr. Hunt has been active in the field of hardware verification for 35 years and has applied formal verification tools and methods to a litany of microprocessor designs, including FM8501, FM8502, FM9001, Motorola CAP DSP, FM9801, VIA Nano, and Oracle SPARC.Dr. Hunt is the steering committee chairman of the FMCAD Conference series, and he serves as an associate editor of the “Formal Methods in System Design” journal.Prior to his 2002 arrival at UT Austin, Dr. Hunt worked as a Research Staff Member and Manager at IBM’s Austin Research Laboratory from 1997 to 2002, where he was involved with formal verification and high-performance computing. From 1986 until 1997, he served as Vice President of Hardware Engineering at Computational Logic, Inc. Dr. Hunt has a BSEE from Rice University and a PhD in computer science from UT Austin. Dr. Hunt is an ACM Distinguished Engineer.Warren A. Hunt, Jr. is a series editor of the “Conference Series: Formal Methods in Computer-Aided Design”.