Formal Methods in Verification
351 faculty research Formal Methods in Verification on GradNova.
M
Professor; Misra Family Professor; Computer and Information Science
Z
S
William R. Kenan, Jr. Distinguished Professor
P
Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software
M
Professor; Charles W. and Margre H. Durham Distinguished Professor
R
Director, Cybersecurity Center at Mizzou; Associate Professor
M
Professor, Distinguished University Teaching Professor
K
Professor, EECS – Computer Science and Engineering; Professor (courtesy), EECS – Electrical and Computer Engineering
M
Assistant Professor, EECS – Computer Science and Engineering
J
Associate Professor, Aerospace Engineering; Associate Professor (courtesy), EECS – Computer Science and Engineering