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