清华大学计算机系副教授，SkyEye嵌入式硬件模拟器开源软件创始人，uCore OS轻量嵌入式开源操作系统创始人。他的主要研究方向是操作系统，并以操作系统为核心，介入普适计算、并行计算、计算机体系结构、虚拟机、嵌入式系统、无线传感器网络等研究领域。截至2010年8月，他先后负责和参与了十余项课题的开发，包括独立申请的国家自然科学基金项目、博士后基金项目、北京市科技计划项目、863项目、985项目、国际合作和横向课题等。从2001年至今，他共发表学术论文40余篇，其中第一、二作者30篇，SCI 收录10余篇，EI 收录20余篇；他出版的著作包括译著4部，编著4部。