Computer Science and Engineering
menu MENU
Home > People > All Faculty > Research Faculty > Formal Methods & Automated Reasoning Faculty

Formal Methods and Automated Reasoning

This list includes faculty with a primary or secondary research focus on artificial intelligence. For more information on this research area, visit the research page.

CSE Faculty

Michael Adams

Valeria Bertacco

Website

Peter Chen

Website

Manos Kapritsos

Website

Baris Kasikci

Website

Satish Narayanasamy

Website

Cyrus Omar

Website

Karem Sakallah

Website

Westley Weimer

Website

ECE Faculty

Stephane Lafortune

Website

Necmiye Ozay

Website

Affiliated Faculty

Jean-Baptiste Jeannin

Website