副教授北京航空航天大学计算机学院
教师简介

王雷,男,博士,副教授,从事操作系统、编译技术等方面的教学与研究工作。讲授计算机系本科生专业基础课“操作系统”和研究生选修课“操作系统结构分析”两门。作为主要研究人员参加了国家自然科学基金、863项目、航空基金等多项工作。目前正在负责航空基金项目“基于并行模型检测与约束分析的程序安全漏洞检测方法”、微软亚洲研究院合作项目“操作系统演化研究”以及航空和星载操作系统研究等项目。