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