GradNova
Logic, Programming, and Type Systems
262 faculty research Logic, Programming, and Type Systems on GradNova.
Computer Science
University of California San Diego
Assistant Professor
University of California, Davis
Graduate Program Faculty - Assistant Professor
Department of Electrical and Computer Engineering
Professor
Electrical Engineering Division, Department of Electrical Engineering and Computer Sciences (EECS)
University of California, Berkeley
Professor of Teaching Emeritus
Professor Emerita
Professor Emeritus
University of Calgary
University of British Columbia
University of Arizona
Faculty
University of Alberta
University at Albany, State University of New York
Visiting Assistant Professor - Instructional
Distinguished Professor Emeritus
University of California, Santa Barbara
Distinguished Professor & Chair
University of California, Riverside
Adjunct Associate Professor
Tufts University
Assistant Teaching Professor
Professor and Chair of Computer Science
...