Jerry joined our group in Fall of 2014, and worked on automated verification of control logic in Heating, Ventilation and Air Conditioning (HVAC) systems for commercial buildings.
Interests
- HVAC Control Logic
- Software Testing
- Building Automation Systems
Education
-
PhD in Civil and Environmental Engineering, 2019
Carnegie Mellon University