Logic, Programming, and Type Systems
262 faculty research Logic, Programming, and Type Systems on GradNova.
A
Professor and Associate Dean for Research and Graduate Studies
Department of Electrical, Computer, and Systems Engineering (ECSE)
V
Associate Professor of Instruction; Associate Chair for Undergraduate Studies
J
A
Associate Professor, Deputy Head, Graduate Studies
R
Douglas Ross (1954) Career Development Professor of Software Technology, Assistant Professor [CS, EE]
Department of Electrical Engineering and Computer Science (EECS)
T
Instructional Faculty, Research Scientist and Lecturer