Christian Skalka
Professor and Chair |
I am the Chair of the UVM Department of Computer Science. I am also the Director of the UVM Center for Computer Security and Privacy.
My research interests lie at the intersection of Computer Science theory and practice. I develop innovative formal methods based on programming language type theory, mathematical logic, and computability theory in general. I also build cyber-physical systems based on these technical innovations, and explore applications of these methods to important practical problems, especially related to cybersecurity, health, and the environment.