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

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

主要研究方向：集成电路设计与智能信号处理

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

主要研究方向：实验固体力学

邮箱地址：xiehm@mail.tsinghua.edu.cn

主要研究方向：卫生医疗服务工程，生产系统运作管理，随机建模和优化

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

主要研究方向：流体力学-湍流

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

主要研究方向：心血管智能医学

邮箱地址：xyja01207@btch.edu.cn