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.
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.