教授
博士生导师
硕士生导师
主要任职：软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼525
联系方式：0411-62274401
电子邮箱：wqkong@dlut.edu.cn
方向1——软件可靠性保障技术：a) 限界模型检测工具的研制与开发；b) 基于插值的状态空间抽象方法研究；c) 中断驱动的嵌入式软件正确性验证工具的研制与开发；
方向2——自动驾驶系统的仿真与验证技术：a) 基于场景的自动驾驶系统仿真验证平台的研制与开发；b) 自动驾驶系统遵守交通法规的形式验证技术；c) 自动驾驶系统安全性保障技术的研制
方向3——基于硬件加速的视频大数据实时信息挖掘
方向4——特定领域的软件平台开发
