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