Formal Methods, Verification, and Synthesis
1 faculty research Formal Methods, Verification, and Synthesis on GradNova.
P
AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences