Christian Skalka is a Professor and Chair in the Department of Computer Science at the University of Vermont (UVM), part of the College of Engineering and Mathematical Sciences. He joined UVM in 2002 and holds a Ph.D. from Johns Hopkins University, an M.S. from Carnegie Mellon University, and a B.S. from Saint John's College. His research focuses on programming languages, cybersecurity, and computational methods in environmental science. He teaches courses such as Programming Languages, Computer Networks, and Mobile Apps & Embedded Devices. Skalka’s work spans secure multi-party computation, intrusion detection using deep learning, and healthcare systems integration. Notable contributions include developing SMT-boosted security types for MPC, frameworks for secure network code verification, and cyber-physical systems for rehabilitation monitoring. His research often bridges theory and practice, with applications in healthcare, environmental science, and distributed systems. Publications highlight interdisciplinary collaboration, including work on federated learning privacy, snowpack modeling via machine learning, and audit logging formalization. His projects emphasize practical security solutions for real-world challenges in healthcare, environmental monitoring, and networked systems.











