Professor
Electrical and Systems Engineering
Computer and Information Science
Research Areas
- Formal Methods
- Machine Learning and Controls for Medical Devices
- Energy Efficient Buildings
- Autonomous Systems
Awards
2017: National Academy of Engineers, US Frontiers of Engineering Symposium
2016: Presidential Early Career Award for Scientists and Engineers
2014: IEEE Benjamin Franklin Key Award
2013: NSF CAREER Award
2012: Intel Early Faculty Career Award
Projects/Papers
