Home
/
Research
/

Security and Verification in Computing

Security and Verification in Computing

354 faculty research Security and Verification in Computing on GradNova.

J

Bredt Family Professor of Engineering; Professor, EECS – Computer Science and Engineering; Director, Systems Lab

Computer Science and Engineering

University of Michigan

T

Jack Hu Collegiate Professor of Computer Science and Engineering; Professor, EECS – Computer Science and Engineering; Professor (courtesy), EECS – Electrical and Computer Engineering; Director, Computer Engineering Lab

Computer Science and Engineering

University of Michigan