Home > People > Researchers by Area > Formal Methods & Automated Reasoning Faculty

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

Valeria Bertacco

Website Mentoring Plan

Peter M. Chen

Website

Ryan Huang

Website Mentoring Plan

Manos Kapritsos

Website Mentoring Plan

Yatin Manerkar

Website Mentoring Plan

Satish Narayanasamy

Website Mentoring Plan

Cyrus Omar

Website Mentoring Plan

Karem A. Sakallah

Website Mentoring Plan

Xinyu Wang

Website Mentoring Plan

Westley Weimer

Website Mentoring Plan

ECE Faculty

Stéphane Lafortune

Website

Necmiye Ozay

Website

Courtesy and Affiliated Faculty

Jean-Baptiste Jeannin

Website