Core team:

Christian Skalka

University of Vermont

College of Engineering and Mathematical Sciences, Department of Computer Science, Associate Dean, College of Engineering and Mathematical Sciences Associate Professor, Department of Computer Science

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

Most recent papers:

Afsoon Yousefi Zowj, Joshua Bongard, Christian Skalka. A Genetic Programming Approach to Cost-Sensitive Control in Wireless Sensor Networks. Computational Intelligence in Wireless Sensor Networks, 1-31, , 2017.
[pdf] [journal page]
Sam Kreigman, Marcin Szubert, Joshua Bongard, Christian Skalka. Evolving spatially aggregated features from satellite imagery for regional modeling. International Conference on Parallel Problem Solving from Nature, 707-716, , 2016.
[pdf] [journal page] [arXiv]