Formal Methods
60 faculty research Formal Methods on GradNova.
X
Associate Professor, EECS – Computer Science and Engineering
Y
M
Assistant Professor, EECS – Computer Science and Engineering
M
Associate Professor, EECS – Computer Science and Engineering
J
Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus
K
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory