skalka photo

Christian Skalka

[UVM logo]

Associate Professor
Department of Computer Science
College of Engineering and Mathematical Sciences
379 Votey Hall
skalka at cs dot uvm dot edu
802 656 1920
Home | Research Interests | Research Projects | Teaching | Publications

Research Interests

My research interest is in 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. This includes general purpose languages and domain specific languages for embedded systems. I also study the real-world application of modern embedded systems software and hardware to environmental sciences.

Research Projects

Recent research projects with links to more information are as follows. Note that some work does not fit into this categorization; a complete list of my publications is also available.

Snowcloud: A wireless sensor network architecture for environmental monitoring in cold climates. A press release about our current deployment in the High Sierra is online, as well as a photo gallery.

SpartanRPC and nesT: Improving embedded systems program efficiency and security through novel language abstractions and analysis.

Static language-based access control: Type theories for enforcing access control security at the language level.

Trace and flow effects: Combining type theory and program logics to enforce temporal properties in programs.

Distributed trust management logic: Using mathematical logic and automated theorem proving in distributed security architectures.

Teaching

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