主要研究方向:形式化验证、程序语言、逻辑推理
邮箱地址:hefei@tsinghua.edu.cn
主要研究方向:医学工程
邮箱地址:huchunhua@tsinghua.edu.cn
主要研究方向:航空发动机燃烧与传热
邮箱地址:lyhou@tsinghua.edu.cn