苏州大学计算机技术学院导师：张广泉 正文

　　张广泉，男，博士、教授。1999年6月毕业于重庆大学计算机软件与理论专业并获工学博士学位，1999 年～2002 年在中国科学院计算机科学国家重点实验室唐稚松院士指导下做博士后。1996年任副教授、2002年任教授。1999年起任硕士生导师，2004～2009年 任苏州大学计算机学院软件工程系主任。指导本科生“莙政学者”和国家级大学生创新性实验计划项目；主讲研究生《软件形式化方法》、《软件可靠性方法》、 《形式语言与自动机理论》等学位课，先后承担和主持多项省厅、校级计算机科学与软件工程教改重点课题，在《计算机教育》、《计算机科学》等刊物和会议发表 教改论文20多篇。先后承担完成国家重点科技攻关项目、国家（863）高技术研究发展计划、国家自然科学基金及中国科学院知识创新工程项目6项；先后主持计算机科学国家重点实验室(开放)课题3项，四川省、重庆市和江苏省自然科学基金6项，重庆市和江苏省高校自然科学基金4项；在国际顶级期刊 IEEE Transactions on Parallel and Distributed Systems(TPDS)、国内权威期刊《电子学报》、《软件学报》、《计算机研究与发展》等国内外学术刊物和国际学术会议发表学术论文100多篇；参与组织和编写的著作《时序逻辑程序设计与软件工程》获第11届全国优秀科技图书一等奖和第六届国家图书奖。

　　曾获四川省优秀青年骨干教师、重庆市“322重 点人才工程”第二层次人才、重庆市学术科技带头人、江苏省“青蓝工程”优秀骨干教师、苏州大学优秀中青年学术带头人等多项荣誉，现任中国计算机学会高级会 员、中国计算机学会软件工程、系统软件、理论计算机科学、协同计算等专委委员。担任重庆市高评委信息学科组成员、教育部和省市科研项目评审专家、《中国科 学》、《软件学报》、《计算机学报》、《JCST》、《计算机研究与发展》等计算机权威期刊论文评审人和多个国内外重要学术会议程序委员会委员、第9届全国软件与应用学术会议程序委员会副主席等职。主要研究方向为网络软件工程与服务计算、并行分布式与协同计算等；目前主要研究兴趣：面向云计算和物联网的软件(服务)可信性分析与验证。

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。

添加苏州大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[苏州大学考研分数线、苏州大学报录比、苏州大学考研群、苏州大学学姐微信、苏州大学考研真题、苏州大学专业目录、苏州大学排名、苏州大学保研、苏州大学公众号、苏州大学研究生招生）]即可在手机上查看相对应苏州大学考研信息或资源。

苏州大学