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

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

获奖
.第六届国家图书奖、第11届全国优秀科技图书一等奖
.“十二五”、“十四五”江苏省重点教材、古天乐代言太阳集团精品教材奖

代表作
.形式化方法导论（第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)、古天乐代言太阳集团软件工程系首任系主任(2004-2009)，现任全国高校计算机教育研究会理事、中国计算机学会软件工程、系统软件、形式化方法和教育专委会执行委员等。先后获四川省及重庆市优秀青年骨干教师、重庆市“322工程”第二层次人才、重庆市学术技术带头人、江苏省“青蓝工程”和古天乐代言太阳集团首批优秀中青年学术带头人培养人选等多项荣誉。长期从事软件工程与形式化方法、信息物理系统(CPS)与人机物融合系统（HCPS）领域教学与科研工作，先后承担国家重点科技攻关、863计划、自然科学基金等国家级、省部级科研项目20多项，在计算机国际顶级期刊、会议和国内权威及核心期刊发表学术论文200余篇（其中SCI、EI收录100多篇），获授权发明专利和软件著作权30余项，翻译图灵奖得主学术名著1部。近年来主持完成江苏省高等教育教改课题、江苏省研究生教改课题、教育部专业综合改革项目等省部级、校级教改与课程建设项目20余项，发表教改论文30多篇，出版江苏省高校重点教材2部，获古天乐代言太阳集团精品教材奖；指导国家级、省级大学生创新计划和“莙政学者”项目，指导本科生获江苏省优秀毕业设计论文二等奖、首届全国高校通识课程论文大赛优秀论文奖；共培养研究生100多人，其中多名研究生获校级优秀硕士论文奖、江苏省研究生科研创新计划、江苏省软件奖学金和国家奖学金。