skalka photo

Christian Skalka

[UVM logo]

Professor and Chair
Department of Computer Science
University of Vermont
E224 Innovation Hall
skalka at cs dot uvm dot edu
802 656 1920


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.

A list of my publications is available online.

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.