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