Logic, Programming, and Type Systems
262 faculty research Logic, Programming, and Type Systems on GradNova.
A
Eugene Higgins Professor of Computer Science, Emeritus
D
Professional Practice Assistant Professor, Computer Science and Engineering
S
Associate Professor-Clinical, Computer Science and Engineering; Courtesy Professional Practice Associate Professor, Engineering Education
A
S