沈晴霓，博士，北京大学教授。获中科院长春光机所硕士学位、中科院软件所博士学位。是我国自主研发的“结构化保护级安胜安全操作系统”的主要完成人之一。2013年获得北京大学“杨芙清-王阳元院士奖教金”。主要研究方向：操作系统与虚拟化安全，云计算与大数据安全，可信计算等。主持或参加国家、省部级、企事业合作研发项目20多项，发表学术论文40多篇，申请发明专利20多项（其中授权美国专利1项、授权国家专利8项），登记国家软件著作权5项。编著《操作系统安全设计》（北京市精品教材）与《操作系统安全》(第2版)（十一五国家规划教材）等。1
基本信息
中文名
国籍
毕业院校
职业
学位/学历
专业方向
操作系统与虚拟化安全、云计算与大数据安全、可信计算等1
职务
北京大学软件与微电子学院 软件技术与服务工程领域学科组副组长1
职称
个人简介
是我国自主研发“结构化保护级安胜安全操作系统”的主要完成人之一。主要研究方向包括：操作系统与虚拟化安全，云计算和大数据安全与隐私，可信计算等。负责和参加了20多项国家级、省部级和企业合作科研项目，包括：国家基金重点/面上、核高基重大、国家863等国家项目；中科院知识创新工程，北京市自然科学基金、深圳市科技攻关等省部项目；华为、IBM、Intel、AWS等企业合作项目等。发表学术论文60多篇（其中50多篇SCI/EI检索），其中包括CCS, ACSAC, ICWS, IPDPS, ICICS, SecureComm, COMPSAC, TrustCom, CLOUD, HPCC, ICC, NPC等重要国际会议。申请发明专利30多项（其中已授权国家专利18项、美国专利1项、欧洲专利1项），登记软件著作权7项。编著《操作系统安全设计》（北京市精品教材）与《操作系统安全》（第2版）（十一五国家规划教材），开设的“操作系统与虚拟化安全”研究生课程为北京大学精品课程，也是Coursera全球MOOC课程和华文慕课课程。2013年度获得北京大学“杨芙清-王阳元院士优秀教学科研奖”，2016年度获得北京大学教学优秀奖。2
1992.9-1994.7
获中国科学院长春光学精密机械与物理研究所工学硕士学位
2002.9-2006.7
获中国科学院软件研究所工学博士学位
1994.7-2002.8
北京理工大学电子工程系教师 先后在计算机应用基础教研室、信息安全与对抗技术实验室从事教研工作
2006.9-
北京大学软件与微电子学院教师 先后担任信息安全系副系主任、软件技术与服务工程学科组副组长2
主讲课程
0BI04“操作系统与虚拟化安全”北京大学精品课程，Intel UPO全球资助课程，每年秋季开课（面向我院软件技术与服务工程领域的所有硕士生；并作为全校公选课面向全校的博士生、硕士生）
0DI05“云安全专题”，每年秋季开课（面向软件技术与服务工程领域的所有同学）
主要研究领域
操作系统与虚拟化安全
云计算和大数据安全与隐私
可信计算等2
负责和参与
1.
国家自然科学基金重点项目"云存储的隐私保护与安全保障机制"，副组长，2013-2017
2.
国家自然科学基金面上项目"面向可信云服务的广义虚拟可信计算平台关键技术研究"，主持，2011-2013
3.
国家自然科学基金面上项目"以应用安全为核心的可信虚拟监控器安全机制研究"，主持，2009-2011
4.
国家自然科学基金面上项目"可信操作系统的基本理论与关键技术研究"，参与，2010-2012
5.
国家自然科学基金面上项目"高安全等级安全操作系统关键技术研究"，参与，2006-2008
6.
“核高基”国家重大专项 "面向新型网络应用模式的网络化操作系统"，参与，2009-2010
7.
“核高基”国家重大专项"国产操作系统参考实现"，参与，2009-2011
8.
国家高技术研究发展计划863课题"云安全的可信服务及在教育云的示范"，副组长，2015-2017
9.
深圳科技计划项目"大数据信息安全的关键技术研发"，副组长，2014-2016
10.
国家科技支撑计划重大项目子课题“安胜安全操作系统应用”，副组长，2008-2010
11.
IBM SUR共享大学研究项目"Security Services of Private Storage Cloud"，主持，2009-2011
12.
Intel UPO大学项目"Virtualization Security Curriculum", 主持，2012-2013
13.
华为合作研究项目"众核OS管理系统"，主持，2012-2013
14.
2009华为高校科技基金项目"电信网络环境下云计算服务平台安全体系"，主持，2009-2010
15.
2008华为高校科技基金项目"广义可信虚拟计算平台安全体系结构研究"，主持，2008-2009
16.
华为委托合作项目"可信计算平台TPM的应用"，负责人，2008-2009
17.
北京市自然科学基金项目"高安全等级操作系统若干前沿问题研究"，参与，2006-2008
18.
全国信息安全标准化技术委员会专项"基于可信计算平台的安全操作系统及相关标准研究"，参与，2006
19.
全国信息安全标准化技术委员会专项"高安全等级操作系统关键安全技术与规范"，参与，2006
20.
全国信息安全标准化技术委员会专项"可信计算跟踪研究"，参与，2005
21.
中国科学院软件研究所预先研究项目"最高等级安全操作系统形式化方法研究"，参与，2004-2006
22.
中国科学院知识创新工程方向性项目"结构化保护级安全操作系统设计"，参与，2002-2005
