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.