2025年1月14 日上午10點,澳門城市大學數據科學學院在HG01舉辦了以“Testing Learning-Enabled Cyber-Physical Systems:Current Approaches and Future Directions”爲題的學術專題講座。主講嘉賓為澳洲麥考瑞大學副教授鄭曦教授。此次講座吸引了眾多研究生師生參加,大家共同探討了學習型資訊物理系統在自動駕駛車輛和無人機領域的應用潛力。
鄭教授於2015年在德克薩斯州奧斯丁大學獲得軟體工程博士學位,在2024年獲得了澳大利亞研究委員會的未來研究員獎。他的學術貢獻包括許多高引用論文和最佳會議論文獎。2005年至2012年間,他擔任了Menulog Australia的首席解決方案架構師。目前,他在澳洲麥考瑞大學擔任副教授、智慧系統研究小組(ITSEG.ORG)主任、計算機學院國際交流主任、軟體工程項目副負責人。他的研究領域包括網路物理系統的測試與驗證、安全分析、分散式學習、物聯網以及更廣泛的軟體工程範疇。鄭教授成功獲得超過240萬澳元的競爭性資金,這些資金來自澳洲研究委員會(1項未來研究員資助、2項連結資助和1項發現資助)以及Data61(CRP項目),這些資金主要用於安全分析、模型測試與驗證,以及用於自動駕駛車輛的可信人工智慧的開發。
在講座中,鄭教授分享了他和團隊的多篇高引用論文,深入闡述了學習型資訊物理系統與大語言模型結合所能取得的新突破,還有鄭教授團隊研究過程中遇到的許多困難,如各個地區法律法規的限制及無人駕駛安全,復雜情況下大語言模型判別與真人判斷不同之處等方面。鄭教授的講述生動有趣,現場氣氛熱烈。
在提問環節,師生們踴躍發言,分享了各自的看法和疑問,鄭教授耐心解答,進一步深化了大家對該領域的理解。儘管與會者的研究方向各不相同,但大家一致認為,鄭教授的講座為他們提供了寶貴的視角,激發了新的思考。
此次講座不僅帶來前沿研究成果開拓了眼界,也為師生提供了寶貴的學術指導。通過鄭教授的分享,學生們認識到安全分析、模型測試與驗證在智慧交通系統中的重要性與潛力,這將促使他們在未來的研究中更加積極探索這些前沿領域。講座中的熱烈討論和互動,使學生們更深入地理解了如何將理論知識應用於實際問題。講座在熱烈的掌聲中圓滿結束。