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

WebsiteMentoring Plan

Peter Chen

Website

Yuri Gurevich

Website

Ryan Huang

WebsiteMentoring Plan

Manos Kapritsos

WebsiteMentoring Plan

Yatin Manerkar

WebsiteMentoring Plan

Satish Narayanasamy

WebsiteMentoring Plan

Cyrus Omar

WebsiteMentoring Plan

Karem Sakallah

WebsiteMentoring Plan

Georgios Tzimpragos

WebsiteMentoring Plan

Xinyu Wang

WebsiteMentoring Plan

Westley Weimer

WebsiteMentoring Plan

ECE Faculty

Stephane Lafortune

Website

Necmiye Ozay

Website

Affiliated Faculty

Jean-Baptiste Jeannin

Website