Formal Methods in Verification
351 faculty research Formal Methods in Verification on GradNova.
M
Professor of Electrical and Computer Engineering and Computer Science Practice
G
Professor, UPS Foundation Professor of Transportation
A
Professor Mathematics Primary Computer and Information Science
M
Professor; National Center Professor of Management & Technology; Computer and Information Science; Founding Director, Warren Center for Network and Data Sciences
S
Professor; Henry Salvatori Professor; Computer and Information Science
N
Professor, EECS – Electrical and Computer Engineering; Professor, Robotics; Senior Associate Chair, Electrical and Computer Engineering
I
Assistant Professor, EECS – Electrical and Computer Engineering
C
Associate Professor, EECS – Computer Science and Engineering
Fundamentally Improving the Programming Experience for Computational and Data Scientists, Web App Programmers, Students and Educators, and for People With Disabilities Who Cannot Effectively Use Other Programming Tools
Logic, Programming, and Type Systems
Software Engineering Research
Teaching and Learning Programming
+2