Logic, Programming, and Type Systems
262 faculty research Logic, Programming, and Type Systems on GradNova.
M
Professor of Electrical and Computer Engineering; Professor of Computer Science
S
Professor ENIAC President's Distinguished Professor Computer and Information Science
M
Professor; Misra Family Professor; Computer and Information Science
Z
P
Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software
R
Director, Cybersecurity Center at Mizzou; Associate Professor
M
Assistant Professor, EECS – Computer Science and Engineering
J
Associate Professor, Aerospace Engineering; Associate Professor (courtesy), EECS – Computer Science and Engineering