清华大学计算机系教授，国家自然科学基金杰出青年基金获得者。中国机算机学会杰出会员和杰出讲者，副秘书长，CCF Fellow。ACM 中国理事会副主席，ACM SIGOPS 亚太地区操作系统会议 APSys 指导委员会主席。长期研究高性能计算编程模型和编译系统，近几年在以图计算系统为代表的新一代大数据处理系统方面有较为深入的研究。