Logic, Programming, and Type Systems
262 faculty research Logic, Programming, and Type Systems on GradNova.
C
Professor, Department of Computer Science • Chair, Department of Computer Science
J
A
Professor Mathematics Primary Computer and Information Science
I
Assistant Professor, EECS – Electrical and Computer Engineering
C
Associate Professor, EECS – Computer Science and Engineering
Fundamentally Improving the Programming Experience for Computational and Data Scientists, Web App Programmers, Students and Educators, and for People With Disabilities Who Cannot Effectively Use Other Programming Tools
Logic, Programming, and Type Systems
Software Engineering Research
Teaching and Learning Programming
+2