527软件形式化

实验室 介绍

软件形式化与自动推理学科方向针对国家信息化发展和重大工程应用对软件的战略需求，采用理论研究和实证研究相结合的方法，以自动推理和机器学习为基础，主要开展关于深度强化学习、智能软件形式化描述与分析、逻辑软件模型生成及校验、Deep Web搜索引擎软件等方面的研究。在此基础上建立软件及其环境构造与验证、演化与控制的方法和关键技术体系，研究软件开发工具和运行支撑平台及环境，并逐步深入到嵌入式软件和基于网络的大型应用软件中，为相关应用和工程的软件研发提供了科学支撑。

师资力量

目前软件形式化与自动推理学科方向由教授5人（其中博士生导师两人），副教授5人（硕士生导师4人）、博士及讲师7人、硕士生20余人组成。自成立以来，依托苏州大学计算机学科，先后承担了一批科研项目。主要包括：国家科学基金“基于贝叶斯推理的模糊逻辑强化学习模型研究”等10余项，省部级项目“面向新一代互联网的智能收索引擎关键技术”、“面向tableau模型的逻辑强化学习技术及应用研究”等10余项。在深度强化学习、智能软件分析及测试、逻辑软件模型生成与检测等方面取得了一批重要成果，并形成了一支具有团结协作、富于挑战、勇于创新的学术队伍。

刘全丨男，1969年10月生，教授，博士生导师。

E-mail: quanliu@suda.edu.cn

伏玉琛丨男，1968年7月生，博士，苏州大学兼职硕士生导师，中国计算机学会高级会员。

Email：yuchenfu@suda.edu.cn, fuyc@siso.edu.cn

凌兴宏丨男，1968年1月生，副教授，硕士生导师。

章晓芳丨女，1980年生，博士，副教授，硕士生导师。

章宗长丨男，1985年出生，博士，副教授，硕士生导师。

朱斐丨博士，苏州大学计算机科学与技术学院副教授，中国计算机学会会员，中国运筹学会会员。

招收条件

有钻研精神、对强化学习这个方向有兴趣的同学。人数：每届一般10个左右。

设备情况

人手一台电脑、三台服务器、一台打印机。

图文来源：文化中心

美术编辑：文化中心

责任编辑：小元宝