职称：教授
研究所：软件研究所
研究领域：操作系统，嵌入式软件，普适计算软件工程
办公电话：86-10-6275 7160
电子邮件：cherrysei.pku.edu.cn
个人主页：
操作系统，嵌入式软件，普适计算软件工程
