香港城市大學（城大）於11月6日舉辦「法國—香港傑出講座系列」，由法國科學院及法國科技學院院士、法國國家科學研究中心金章得主Gérard Berry教授主講，講題為「電腦科學中的時間和事件」，探討「時間」在電腦科學中的關鍵作用，以及同步編程語言的設計、語意和應用。

 

城大校長梅彥昌教授在歡迎辭中感謝Berry教授蒞臨城大主講，讓參加者在書卷以外，透過有趣生動的角度了解電腦科學。他說，電腦科學發(fā)展一日千里，我們必須突破固有框架，擁抱創(chuàng)新，與時並進。城大早前成立計算學院和香港人工智能與科學研究院，匯聚跨學科人才，培育下一代的技術創(chuàng)新者、學者和先驅(qū)，在由人工智能驅(qū)動的數(shù)據(jù)運算新時代，致力促進將科研成果轉(zhuǎn)化為創(chuàng)新解決方案，應對全球挑戰(zhàn)，貢獻社會。

法國駐港澳總領事杜麗緹女士感謝城大多年來舉辦「法國—香港傑出講座系列」，指這一系列講座促進了法國和香港科技界之間的交流。她讚揚Berry教授在電腦科學理論、編程語言和系統(tǒng)設計方面的貢獻，不僅對學術界有莫大助益，更對我們的日常生活有深遠影響。透過了解「時間」和「事件」在電腦科學的角色和作用，我們可以創(chuàng)建更高效能的演算法，提升軟件整體功能。

在傳統(tǒng)電腦科學領域中，「時間」一般被視為程式執(zhí)行成本，而非程式設計關注的重點。然而，在上世紀80年代，隨著飛機、火車、機器人等網(wǎng)路物理系統(tǒng)開始由電腦程式驅(qū)動和監(jiān)督，對「時間」和「事件」的精確操作變得至關重要，同步編程語言亦順勢冒起。Berry教授在演講中詳盡介紹同步編程語言的發(fā)展、設計和語義，包括由他領導開發(fā)的Esterel。這些編程語言大大簡化具有時間感知的程式設計，推動反應式程式設計的開發(fā)，並在安全關鍵領域如飛機飛行控制，以及硬體電路設計和人機互動等範疇發(fā)揮著重要作用。

「法國—香港傑出講座系列」是城大主辦的高規(guī)格講座，獲法國科學院、法國駐港澳總領事館及法國榮譽軍團勳章協(xié)會香港分會（The Légion d'Honneur Club Hong Kong Chapter）的支持。其他出席講座的城大代表包括副校長（研究）岑浩璋教授和協(xié)理副校長（研究）鄭淑嫻教授。