Operating Systems for Buildings

An example model using the Brick schema

In this line of work, our lab’s output spans a number of different topics starting with the development of middleware platforms for integrating disparate building automation system components (e.g., Sensor Andrew, Mortar.io), to metadata schemas (e.g, Brick), and tools such as automated software verification for HVAC control logic and metadata inference techniques.

Jingkun Gao
Senior Algorithm Engineer

My research interests include