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

ECE Faculty

Stephane Lafortune

Website

Necmiye Ozay

Website

Affiliated Faculty

Jean-Baptiste Jeannin

Website

People

Formal Methods and Automated Reasoning

CSE Faculty

Valeria Bertacco

Peter Chen

Yuri Gurevich

Manos Kapritsos

Baris Kasikci

Satish Narayanasamy

Cyrus Omar

Karem Sakallah

Xinyu Wang

Westley Weimer

ECE Faculty

Stephane Lafortune

Necmiye Ozay

Affiliated Faculty

Jean-Baptiste Jeannin