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