Avatar

Jerry Lei

Postdoctoral Research Associate

Pacific Northwest National Laboratory

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