报告专家：张奎泽
报告时间：2025年6月11日19：00
报告地点：腾讯会议961-385-790
专家简介：张奎泽，分别于2009年和2014年在哈尔滨工程大学取得数学学士学位和系统工程博士学位。现为西安交通大学数学与统计学院教授。曾在意大利卡利亚里大学作访问教授，在英国萨里大学任讲师，在德国柏林工业大学作洪堡学者，在德国慕尼黑工业大学、瑞典皇家理工学院作博士后。主要研究兴趣为离散状态动态系统的形式化验证与综合。研究系统包括布尔控制网络、有限自动机、Petri网、定时自动机，幺半群上的加权有限自动机等。提出布尔控制网络的能观性图，离散事件系统的新理论框架，幺半群上的加权有限自动机。出版高水平专著2部，发表高水平论文70多篇。
主办单位：发展规划与学科建设处
承办单位：人工智能与计算机学院
陕公网安备 61010302000682号
