►个人简介吴立军，教授►联系方式邮箱：wljuestc@sina.com电子科技大学计算机科学与工程学院教授，博士后.主要研究领域为人工智能和信息安全。近年来，在网络与信息安全、人工智能和形式化方法等领域做了深入的研究，发表了一序列高水平论文，提出了一序列理论和方法，并开发了相应的工具。在国际国内重要刊物和会议上发表高水平论文40多篇，被SCI/EI/ISTP收录30多篇，其中以第一作者在《IEEETransactionsonSoftwareEngineering》(TSE)和影响因子3.0以上期刊发表论文4篇以上；主持和参与973项目、863项目、国家自然科学基金及重点项目、博士后科研基金项目等各类项目20余项.注：TSE是CCF A类顶级期刊，月刊,每期4-5篇论文,全年约50篇,中国大陆从2006-2015年10年总共只有15篇。►学习科研简历硕士研究生华中理工大学博士研究生中山大学计算机软件与理论专业；博士后国防科技大学计算机学院；访问学者澳大利亚昆斯兰大学(2012.12-2013.12)和Griffith大学(2010.10-2011.01)。►主要学术贡献1在软件安全验证方面，取得了开创性的成果软件模型检测一般返回单个反例，其存在两个主要缺点：信息不足及大大延长软件调试周期。我们对此进行改进，提出了大规模系统所有反例的搜索方法。尽管搜索的是所有反例，但其算法复杂度和性能仍然整体优于现有模型检测单反例搜索的最佳方法。2基于动态内存管理等新技术，提出了大规模系统模型检测的高效外存算法(IOEMC),解决了大规模系统模型检测内存不足和效率不高的问题。该算法比目前最好外存算法快2倍左右。3改进了卡纳基.梅隆大学图灵奖获得者Clarke教授等研发的著名模型检测工具SMV，使SMV的功能从时态逻辑扩展到时态认知逻辑。该成果得到利物普大学著名教授MichaelFisher等的肯定，MichaelFisher教授是形式化方法领域的元老级科学家。他们多次在stateoftheart中介绍这个成果。►科研方向主要研究领域为形式化方法，信息安全和人工智能。►科研项目主持和参与973项目、863项目、国家自然科学基金及重点项目、博士后科研基金项目等各类项目20余项.主持的代表性项目如下：[1]主持了国家自然科学基金面上项目“基于高效I/O模型检测的大规模Web服务验证研究”(2014.01-2017.12,75万).[2]主持了国家自然科学基金面上项目“基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究”(2010.01-2013.12,32万).

►个人简介王晓斌，教授►联系方式邮箱：xbwang@uestc.e.cn►教育背景1985年7月，电子科技大学计算机系获工学学士学位。1988年5月，电子科

►个人简介邵俊明，教授►联系方式电话：18280096713邮箱：junming.shao@gmail.com►学习历程受国家留学基金委LMU-CSC（慕尼

►个人简介邵杰，教授►联系方式电话：028-61831561邮箱：shaojie@uestc.e.cn►教育经历2004年6月，获东南大学工学学士学位

►个人简介尚明生，教授►联系方式邮箱：msshang@uestc.e.cn►教育经历理学学士，工学硕士，工学博士，管理学博士后。访问学者：美国明尼苏达

►个人简介屈鸿，教授►联系方式邮箱：hongqu@uestc.e.cn►教育经历2003/09-2006/11，电子科技大学，计算机软件与理论，博士2

►个人简介高辉，男，1969年9月出生，汉族，博士（荷兰格罗宁根大学），现任电子科技大学计算机学院教授、博士生导师。►主要研究领域数据挖掘、算法设计与分析、形式化验证等。

►个人简介傅彦，教授联系方式：83208057邮箱：fuyan@uestc.e.cn►教育背景1982年毕业于四川大学数学系，本科，学士，1988年毕业于电子

►个人简介符红光，教授►联系方式邮箱：fu_hongguang@hotmail.com►教育背景1986年7月，获四川大学计算数学理学学士；1989年7月获