Formal Methods and Automated Reasoning
This list includes faculty with a primary or secondary research focus on formal methods and automated reasoning. For more information on this research area, visit the research page.
CSE Faculty
Peter M. Chen
WebsiteECE Faculty
Courtesy and Affiliated Faculty
Jean-Baptiste Jeannin
Website