工学博士，清华大学计算机科学与技术系副教授，中国计算机学会普适计算专委会秘书长。主要研究方向是操作系统，以操作系统为核心，涉及普适计算、并行计算、计算机体系结构、嵌入式系统、无线传感器网络等领域。负责和参与十余项课题的开发，其中包括独立申请的国家自然科学基金，博士后基金，北京市科技计划项目，863项目，985项目，国际合作和横向课题等。负责且已结题的自然科学基金考核为“优”，863项目结题考核取得了好的评价，部分研究成果优于国外同类研究成果。
2001年至今，共发表学术论文40余篇，其中：第一，二作者30篇，SCI收录10多篇，EI收录20多篇；出版著作中，译著4部，编著4部。