周晓宇

周晓宇1972年生，东南大学计算机科学与工程学院副教授、硕士生导师。1998年4月于东南大学计算机科学与工程系获硕士学位后留校任教，2011年3月在职取得东南大学计算机科学与工程学院博士学位。主要研究领域包括程序自动生成、可信软件开发方法、反应式系统自动生成、程序测试与验证、自然语言处理及其在需求工程中的应用，同时开展程序分析、知识图谱、社交网络分析等方向的研究。先后主持或参与多项国家及省部级自然科学基金项目、部委重点预先研究项目、江苏省科技攻关项目，以及Intel、南瑞等国内外大型IT企业横向合作项目，累计发表学术论文30余篇，7次获得省部级科技进步奖、教育部提名国家科学技术奖。教学方面长期承担“程序设计语言原理”“并发程序设计”等研究生课程，以及“编译原理”“软件体系结构”“组合数学”等本科生核心课程的教学工作。