Dr. Warren Hunt Jr. (joint work with Jun Sawada)

Jun Sawada is a Ph.D student at Computer Sciences Department of the University of Texas at Austin and a research assistent in Computer Engeneering Research Center at the university. His research interests include formal verification of computer hardware, microprocessor design, and automated deduction systems.

Warren A. Hunt, Jr. is a Research Staff Member at IBM's Austin Research Laboratory, and he is Research Fellow and Adjunct Professor at the University of Texas at Austin. Dr. Hunt's primary research focus is application of analytical methods to the verification of computer hardware.

Email address: whunt@austin.ibm.com