Christian Skalka

I am a Professor in the UVM Department of Computer Science. A list of my publications is available online, these are the main artifacts of my collaborative work with students and colleagues. I also served as the Associate Dean of Faculty Affairs for the UVM College of Engineering and Mathematical Sciences 2016-2018, and as the Chair of the UVM Department of Computer Science 2018-2026.

My research interests are 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.