主要研究方向：大数据存储系统，时序数据管理

邮箱地址：huangxdong@tsinghua.edu.cn

主要研究方向：形式化验证、程序语言、逻辑推理

邮箱地址：hefei@tsinghua.edu.cn

主要研究方向：医学工程

邮箱地址：huchunhua@tsinghua.edu.cn

主要研究方向：航空发动机燃烧与传热

邮箱地址：lyhou@tsinghua.edu.cn