skalka photo

Christian Skalka

[UVM logo]

Associate Professor, Department of Computer Science
Associate Dean, College of Engineering and Mathematical Sciences
317 Votey Hall
skalka at cs dot uvm dot edu
802 656 1920

Home | Research Interests | Research Projects | Teaching | Publications

Research Interests

My research interests are at the intersection of computer science theory and practice. My work has focused on the design of programming languages, especially type disciplines, to support security and safety in programs.

I also have more recent research interests in information systems combining embedded and mobile devices with machine learning data analysis, in diverse applications including snow hydrology and psychological sciences.

Current Research Projects

A list of my publications is available online. Here is a brief description of active research projects.

STRATA: an integrative approach to defense in depth. This multi-institutional research project seeks to combine authorization, isolation, information flow, and auditing in a uniform framework. At UVM we are focused on mathematically well-founded approaches to auditing. Funded by NSF SaTC grant #1408801.

Alliance: cyber-supported therapy for post-trauma recovery. We are developing mobile applications that provide nonintrusive, real-time data gathering to support post-trauma patient recoveries. In addition to data collection, we aim to investigate predictive models generated by machine learning. Funded by UVM REACH program.

Snowcloud and Alpine Snowpack Modeling: embedded systems and machine-learning based data analytics for snow hydrology applications, especially snow-water equivalent estimations in alpine regions. Funded by VT Space Grant Consortium.


I teach a variety of courses, though in general I aim to stress the importance of formal principles and methodologies in practice. Here is a partial list of courses I've taught.

Valid XHTML Valid CSS