Warren Hunt Named ACM 2015 Distinguished Engineer
11/30/2015 - Professor Warren Hunt has been recognized as one of the Association for Computing Machinery's (ACM) 2015 Distinguished Engineers. His research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such specifications.