张广泉
时间: 2023-04-10 发布者: 文章来源: 计算机科学与技术学院 审核人: 浏览次数: 1139
张广泉,博士
教授
省青蓝工程人才计划
 


联系方式
电话:0512-65113107
Email:gqzhang@suda.edu.cn
办公地点:18新利体育 理工楼533办公室
地址:江苏省苏州市干将东路333号
 

主要研究方向
.软件工程与形式化方法、工程教育与通识教育

研究领域
.智能嵌入式软件与人机物融合泛在计算
.软件通识教育与新工科教育
.数字教育与智慧教育

获奖
.第六届国家图书奖、第11届全国优秀科技图书一等奖
.“十二五”、“十四五”江苏省重点教材、18新利体育 精品教材奖

代表作
.形式化方法导论(第2版),清华大学出版社,2023
.反应式和并发系统的时序逻辑,清华大学出版社,2023
.A Locally-Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks,IEEE Transactions on Paralleland Distributed Systems(TPDS)2010.21(10) : 1387~1397
.基于体系结构能耗建模的CPS软件可信性评估方法,电子学报2013,41(11):2270-2276
.时间感知Web服务交互行为建模与失配检测方法研究,电子学报,2011, 39 (11): 2568-2575

个人简介

张广泉教授、工学博士,中国科学院软件研究所计算机科学国家重点实验室博士后。师从我国计算机科学和软件工程领域先驱和开拓者之一、国家自然科学奖一等奖及何梁何利奖获得者、中国科学院院士唐稚松先生。1985年加入中国共产党、1999年任研究生导师,2002年任教授,曾任计算机教研室主任(1991-1996)、18新利体育 软件工程系首任系主任(2004-2009),现任全国高校计算机教育研究会理事、中国计算机学会软件工程、系统软件、形式化方法和教育专委会执行委员等。先后获四川省及重庆市优秀青年骨干教师、重庆市“322工程”第二层次人才、重庆市学术技术带头人、江苏省“青蓝工程”和18新利体育 首批优秀中青年学术带头人培养人选等多项荣誉。长期从事软件工程与形式化方法、信息物理系统(CPS)与人机物融合系统(HCPS)领域教学与科研工作,先后承担国家重点科技攻关、863计划、自然科学基金等国家级、省部级科研项目20多项,在计算机国际顶级期刊、会议和国内权威及核心期刊发表学术论文200余篇(其中SCI、EI收录100多篇),获授权发明专利和软件著作权30余项,翻译图灵奖得主学术名著1部。近年来主持完成江苏省高等教育教改课题、江苏省研究生教改课题、教育部专业综合改革项目等省部级、校级教改与课程建设项目20余项,发表教改论文30多篇,出版江苏省高校重点教材2部,获18新利体育 精品教材奖;指导国家级、省级大学生创新计划和“莙政学者”项目,指导本科生获江苏省优秀毕业设计论文二等奖、首届全国高校通识课程论文大赛优秀论文奖;共培养研究生100多人,其中多名研究生获校级优秀硕士论文奖、江苏省研究生科研创新计划、江苏省软件奖学金和国家奖学金。