Christian Skalka

I am a Professor in and the Chair of 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.

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.