Formal Methods in Verification
351 faculty research Formal Methods in Verification on GradNova.
K
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory
A
Professor of Practice, Computer Science & Engineering
Y
D
Instructional Associate Professor, Computer Science & Engineering
D
Professor and Associate Dean for Research and Faculty Development in the School of Computing
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
Gordon Y.S. Wu Professor in Engineering, Director of Undergraduate Studies