周晓宇，1972年生，东南大学计算机科学与工程学院副教授、硕士生导师。1998年4月于东南大学计算机科学与工程系获硕士学位后留校任教，2011年3月在职取得东南大学计算机科学与工程学院博士学位。主要研究领域涵盖程序自动生成、可信软件开发方法，具体方向包括反应式系统自动生成、程序测…

周晓宇，1972年生，东南大学计算机科学与工程学院副教授、硕士生导师。1998年4月于东南大学计算机科学与工程系获硕士学位后留校任教，2011年3月在职取得东南大学计算机学院博士学位。主要研究领域涵盖程序自动生成、可信软件开发方法，具体方向包括反应式系统自动生成、程序测试与验证、…