个人简介

周晓宇 博士，副教授，硕士生导师。 1972年生，1998年4月于东南大学计算机科学与工程系获硕士学位并留校任教。2011年3月于东南大学计算机科学与工程学院在职获得博士学位。 曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目。曾在国内外学术杂志和会议上发表论文30余篇，7次获得省部级科技进步奖和教育部提名国家科学技术奖。 曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“软件体系结构”、“组合数学”等本科生课程的教学工作。 科研项目 [1] 工业控制程序可信开发技术研究.横向.2020-2022.负责 [2] 基于反模式自动检测的代码质量分析与重构. 国家自然基金面上项目(61472175). 2015-2018. 参加 [3] 本体匹配中的参数和策略调谐问题研究. 国家自然基金面上项目(61472077).2015-2018. 参加 [4] 面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划(90818027).2009–2012.参加 [5] 基于程序切片的软件测试优化技术.国家自然科学基金(60803007).2009-2011.参加 [6] 高可信软件的测试与评估.国家自然科学基金重点项目(60633010).2007-2010.参加 [7] 网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金(90412003).2004-2006.参加 [8] 软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目(BK2006094).2006-2008.负责 [9] 基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究. 国家自然科学基金(60503020).2006-2008.参加 获奖 [1]软件分析测试与算法优化的模型、方法与技术，江苏省科技进步奖，一等奖 [2]软件质量保证支撑系统SQAS，湖北省科学技术进步一等奖 [3]软件分析度量与测试的基础理论与方法，教育部提名国家科学技术奖（自然科学奖），二等奖 [4]程序分析与测试技术研究，教育部提名国家科学技术奖（科技进步奖），二等奖 [5]嵌入式软件测试支撑系统ETS，江苏省科学技术进步二等奖 [6]Ada逆向工程与软件维护支撑系统ARMS，江苏省科学技术进步三等奖 [7]Ada程序分析与理解系统APAUS，江苏省科学技术进步二等奖