个人简介

个人简介 浙江大学计算机科学与技术工学学士2005 北京大学计算机软件与理论理学博士2011 ThePennsylvaniaStateUniversity,DepartmentofCSE,访问学者2018/08-2019/08 科学研究 主持以下科研项目 国家自然科学基金项目：自主无人系统高完整性理论及关键技术研究．2019/01-2022/12 国家自然科学基金项目：嵌入式软件可组合信息流安全验证机制研究．2014/01-2016/12 国家863计划课题子课题：智能终端应用的漏洞检测与挖掘技术研究．2015/01-2017/12 工信部某专项科研专题：×××××技术研究．2015/01-2017/12 装发预研项目子课题：×××××技术.2017/01-2019/12 装备预研基金重点项目子课题：×××××技术研究．2011/01-2013/12 陕西省自然科学基础研究计划项目：嵌入式软件可组合信息流安全验证理论与方法研究．2013/01-2014/12 陕西省自然科学基础研究计划项目：智能终端操作系统信息流安全证明方法研究．2016/01-2017/12 中央高校基本科研业务费项目：2012/01-2013/12，2014/01-2015/12 荣誉获奖 系统与网络一体化安全设计关键技术，陕西省科学技术奖，一等奖，2018，排名：6 ×××技术研究，国防科学技术进步奖，二等奖，2016，排名：9 ×××技术研究，中航工业集团科学技术奖，一等奖，2017，排名：9 “安飞”无人机安全组网系统，陕西省科技工作者创新创业大赛，金奖，2017，排名：3 科研团队 博士研究生 2019级 王梓宇 硕士研究生 2017级 马豫宛，许昕鹏，介银娟 2018级 阚啸，张玉梅，王禾，陈娟颖，刘镡稚 2019级 伍亚飞，乔新博，丁铎，潘建锋 共同指导 马晓欧（2017级，与王超老师），孙雄佳（2019级，与姚青松老师） 已毕业研究生（首次就业去向/学位论文题目） 2016级 刘佼（本校转博） 陈均（腾讯/调用路径驱动的Android应用程序恶意行为检测方法研究） 李占魁（华为/基于内存转储分析的代码注入攻击检测方法） 课程教学 本科生课程 计算机学院 Java程序设计（09，10，11，12，13，14级） 网络程序设计（12，13级） 网络与信息安全学院 高级语言程序设计（14，15，17，18级） 软件逆向工程（13，14，15，17级） 研究生课程 软件安全（2019） 教材 孙聪等，Java实用程序设计.西安电子科技大学出版社，2015-08，ISBN:978-7-5606-3753-2 孙聪等，软件逆向工程原理与实践.西安电子科技大学出版社，2018-02，ISBN:978-7-5606-2497-6 招生要求 1.招收系统安全、软件安全方向博士研究生 2.招收硕士研究生，要求： 1）学习积极主动，善于思考 2）具有一定的编程能力 3）具有较好的数学基础，或较好的英语能力