University of Vermont, College of Engineering and Mathematical Sciences
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.
List of Projects
|Snowpack Monitoring Using Wireless Technology||Project Lead/Principal Investigator||2011-10-01||2013-06-01|