个人简介

张倩颖，博士，讲师/硕士生导师，2015年毕业于中国科学院软件研究所，获得计算机科学与技术工学博士学位，同年加入首都师范大学信息工程学院。 研究方向包括基于硬件安全架构的嵌入式操作系统构建技术，以及嵌入式操作系统及安全敏感代码正确性、安全性、可靠性等属性的形式化分析方法。研究成果包括在CCS、RAID、ScienceBulletin等国际顶级学术会议和国际期刊发表论文30余篇，获得国家授权发明专利5项，国家密码行业标准1项。目前主持国家自然科学基金1项，负责国家重点研发计划子课题1项，主持北京市教委项目1项。现为CCF形式化方法专业委员会委员，SCN、IJNS等国际期刊审稿专家。 教育经历 2008.09–2014.12，中国科学院软件研究所，信息安全国家重点实验室，工学博士 2004.09–2008.06，华中科技大学，计算机科学与技术学院，工学学士 科研项目 1、[主持]国家自然科学基金青年项目，基于可信执行环境的机器人实时操作系统架构及形式化验证研究，2017/01-2019/12 2、[负责]国家重点研发计划“智能机器人”专项项目子课题，机器人操作系统及开发环境研究与应用验证，2018/01-2020/12 3、[主持]北京市教委科技计划一般项目，基于TrustZone技术的嵌入式双操作系统架构研究，2019/01-2021/12 4、[参与]国家密码管理局密码检测标准项目，可信计算可信密码模块符合性检测规范，2018/07-2019/06 5、[参与]国家自然科学基金重点项目，可信计算环境测评理论和技术研究，2012/01-2015/12 6、[主持]北京高等学校高水平人才交叉培养“实培计划”项目，Linux安全管理系统界面开发，2019/06-2020/05 7、[主持]北京高等学校高水平人才交叉培养“实培计划”项目，基于2D视频重建3D人体运动姿态及识别技术研究，2019/06-2020/05 8、[主持]北京高等学校高水平人才交叉培养“实培计划”项目，嵌入式系统安全管理程序开发，2018/06-2019/05 9、[主持]北京高等学校高水平人才交叉培养“实培计划”项目，基于二维图片/视频的三维人体体型建模及识别技术研究，2017/06-2018/05 10、[主持]北京高等学校高水平人才交叉培养“实培计划”项目，基于机器学习的人头发三维模型重建技术研究，2017/06-2018/05