Formal Methods in Verification
175 faculty research Formal Methods in Verification on GradNova.
A
Alcatel-Lucent Professor of Communications and Networking, Professor of Particle Physics and Astrophysics, and of Photon Science
T
Associate Chair of Computer Science Clinical Professor of Computer Science
D
Z
Associate Professor, Director of Graduate Studies-Admissions
A
Eugene Higgins Professor of Computer Science, Emeritus