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

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

获奖
.第六届国家图书奖、第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多人，其中多名研究生获校级优秀硕士论文奖、江苏省研究生科研创新计划、江苏省软件奖学金和国家奖学金。