周晓宇，男，1972年生，东南大学计算机科学与工程学院副教授、硕士生导师。1998年4月获东南大学计算机科学与工程系硕士学位后留校任教，2011年3月在职获该校计算机科学与工程学院博士学位，主要研究领域为程序自动生成、可信软件开发方法及软件逆向工程与再工程 。
主持江苏省自然科学基金面上项目"软件设计模式的形式化描述及程序代码识别技术研究"，参与国家自然科学基金重大研究计划"面向软件可信性演进的软件测试技术研究"、国防重点预先研究项目，以及与Intel、华为等企业的合作项目，涉及程序分析与切片技术、软件性能分析工具研制等领域，发表论文30余篇，其中《基于形态分析识别设计模式中的集中管理式聚集》刊于《软件学报》 。承担"程序设计语言原理""编译原理""模糊数学"等研究生与本科生课程，参与主办历次"全国程序设计语言发展与教学学术会议" 。研究成果获江苏省科技进步一等奖、教育部提名国家科学技术奖二等奖等7项省部级科技奖励 。
想要了解更多“周晓宇（东南大学副教授）”的信息，请点击：周晓宇（东南大学副教授）百科
