GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Programming Languages and Type Theory

Programming Languages and Type Theory

2 faculty research Programming Languages and Type Theory on GradNova.

C
Christian Skalka

Professor, Department of Computer Science • Chair, Department of Computer Science

Computer Science

University of Vermont

Programming Languages and Type Theory
Security and Privacy in Distributed Systems
Security and Verification in Computing
Logic, Programming, and Type Systems
+3
T
Computer Architecture
Computer-Aided Microprocessor Design, Manufacturing and Testing
Educational Software
Operating Systems
+7