傳媒

法國資訊科技專家蒞臨港大演講

2001年05月24日

 

香港大學工程學院為慶祝成立九十週年，將於五月三十一日舉辦一個傑出學人講座，由許杰勒教授 (Professor Gérard Huet)主講，題為：「法國國立訊息與自動化研究所二十五年成就概觀」。

許杰勒教授現任「法國國立訊息與自動化研究所」研究總監，並於一九九七至九九年擔任研究所的國際關係主管，他也是法國科學院和歐洲學者協會會員。

許杰勒教授積極參與多個研究範疇，當中包括邏輯推理、計算機科學理論、軟件工程、語意工程、知識工程、軟件安全驗証發展等。現時，許杰勒教授參與開發強型程式語言的設計、執行與基礎理論，他的主要研究在電腦語意技術方面。

許杰勒教授共發表了七十多份出版物、報告、期刊及書籍，他曾設計出Constructive Engine for the Calculus of Constructions，並致力開發多個重要軟件如Mentor Structure editor, Caml programming environment 及Coq proof assistant。一九九八年，他憑著在自動推理方面的傑出成就，獲得Herbrand大獎。

許杰勒教授將在講座中講述「法國國立訊息與自動化研究所」在程式形式化方面的主要概念、已發展的工具及其在軟件安全驗証上的應用。許杰勒教授亦會展示這個研究範疇內幾個成功商品化的例子，並展望未來的發展路向。

「法國國立訊息與自動化研究所」由法國政府科研部及財經工業部共同管理，匯集全國資訊及電腦科技精英，進行高質素的研究，所形成的專家網絡更配合社會經濟的發展需求，除了帶動科技向前邁進之外，也製造了就業機會及財富。

講座將於五月三十一日(星期四)下午五時三十分在港大周亦卿樓演講廳A舉行，歡迎新聞界友好及有興趣人仕蒞臨聽講。