報告專家：張奎澤
報告時間：2025年6月11日19：00
報告地點：騰訊會議961-385-790
專家簡介：張奎澤，分別于2009年和2014年在哈爾濱工程大學取得數學學士學位和系統工程博士學位。現為西安交通大學數學與統計學院教授。曾在意大利卡利亞里大學作訪問教授，在英國薩里大學任講師，在德國柏林工業大學作洪堡學者，在德國慕尼黑工業大學、瑞典皇家理工學院作博士后。主要研究興趣為離散狀態動態系統的形式化驗證與綜合。研究系統包括布爾控制網絡、有限自動機、Petri網、定時自動機，幺半群上的加權有限自動機等。提出布爾控制網絡的能觀性圖，離散事件系統的新理論框架，幺半群上的加權有限自動機。出版高水平專著2部，發表高水平論文70多篇。
主辦單位：發展規劃與學科建設處
承辦單位：人工智能與計算機學院
陜公網安備 61010302000682號
