Formal Methods
40 faculty research Formal Methods on GradNova.
J
Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus
K
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory
S
J
Executive Vice President for Research, Professor of Computer Science
P
Professor and Associate Director for Research and Graduate Programs