Logic, Programming, and Type Systems
262 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
Z
Instructional Associate Professor, Computer Science & Engineering at Galveston
D
Professor and Associate Dean for Research and Faculty Development in the School of Computing
A
Alcatel-Lucent Professor of Communications and Networking, Professor of Particle Physics and Astrophysics, and of Photon Science
T
Joint Appointment - Associate Professor, Graduate Program Director
D
Gordon Y.S. Wu Professor in Engineering, Director of Undergraduate Studies
Z
Associate Professor, Director of Graduate Studies-Admissions