Logic, Programming, and Type Systems
153 faculty research Logic, Programming, and Type Systems on GradNova.
K
Professor, Admiral B.R. Inman Centennial Chair in Computing Theory
M
Associate Department Head, Computer Science & Engineering
A
Alcatel-Lucent Professor of Communications and Networking, Professor of Particle Physics and Astrophysics, and of Photon Science
T
Associate Professor, Graduate Program Director
D
Z
Associate Professor, Director of Graduate Studies-Admissions
A
Eugene Higgins Professor of Computer Science, Emeritus