主要研究方向
.軟件工程與形式化方法、工程教育與通識教育

研究領域
.智能嵌入式軟件與人機物融合泛在計算
.軟件通識教育與新工科教育
.數字教育與智慧教育

獲獎
.第六屆國家圖書獎、第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多人，其中多名研究生獲校級優秀碩士論文獎、江蘇省研究生科研創新計劃、江蘇省軟件獎學金和國家獎學金。