百家乐怎么玩-澳门百家乐官网娱乐城网址_网上百家乐是不是真的_全讯网888 (中国)·官方网站

CityUHK organises the France-Hong Kong Distinguished Lecture Series, focusing on the role of “time” in programming languages

SUNNY LIU

 

photo1
Professor Gérard Berry

Professor Gérard Berry, a distinguished member of the French Academy of Sciences and the French Academy of Technologies, and a Gold Medal awardee from the French National Centre for Scientific Research, delivered a pivotal lecture on 6 November at the recent France-Hong Kong Distinguished Lecture Series, hosted by City University of Hong Kong (CityUHK). Titled “Time and events in Computer Science”, the lecture focused on the crucial role of “time” in computer science, as well as the design, semantics and applications of synchronous programming languages.

photo2
President Boey

 

Professor Freddy Boey, President of CityUHK, expressed gratitude in his welcome speech for Professor Berry's presence at CityUHK to deliver the lecture, providing participants with an engaging and insightful perspective on computer science beyond textbooks. He emphasised the rapid advancement of computer science, highlighting the need to break through conventional frameworks, embrace innovation and stay abreast of the times. Earlier this year, CityUHK established the College of Computing and the Hong Kong Institute of AI for Science, aiming to bring together interdisciplinary talent to nurture the next generation of technological innovators, scholars and pioneers, and to transform research achievements into innovative solutions to address global challenges and contribute to society in the era of AI-driven data computing.


Mrs Christile Drulhe, the Consul General of France in Hong Kong and Macau, expressed her gratitude for CityUHK's organisation of the France-Hong Kong Distinguished Lecture Series over the years, noting that the lectures have promoted exchanges between the French and Hong Kong scientific communities. She praised Professor Berry for his significant contributions to computer science theory, programming languages and system design, which not only benefit the academic community, but also have a profound impact on our daily lives. Through understanding the roles and functions of "time" and "events" in computer science, we can create more efficient algorithms and enhance overall software functionality.

In classic computer science, “time” was generally considered to be a cost of programme execution rather than a programming concern. However, in the 1980s, as cyber-physical systems such as airplanes, trains and robots started to be driven and supervised by computer programmes, explicit and rigorous manipulation of “time” and “events” became central, leading to the development of synchronous programming languages. In his lecture, Professor Berry elaborated on the development, design and semantics of synchronous programming languages, including Esterel, whose development he has led. These programming languages greatly simplify time-sensitive programme design, drive the development of reactive programming, and play a significant role in safety-critical domains, such as airplane flight control, hardware circuit design and human-machine interaction.

The France-Hong Kong Distinguished Lecture Series, organised by CityUHK, are a series of high-profile lectures organised by CityUHK under the auspices of the French Academy of Sciences, the Consulate General of France in Hong Kong and Macau, and The Légion d’Honneur Club Hong Kong Chapter. Other CityUHK representatives attending the lecture included Professor Anderson Shum, Vice-President (Research), and Professor Cheng Shuk Han, Associate Vice-President (Research).

photo3
(From left) Professor Cheng, Professor Shum, President Boey, Professor Berry, Mrs Drulhe, and Professor Philippe Ciarlet, Senior Fellow of the Hong Kong Institute for Advanced Study.

YOU MAY BE INTERESTED

Contact Information

Communications and Institutional Research Office

Back to top
陕西省| 百家乐官网怎么赢博彩正网| 百家乐官网国际赌场娱乐网规则 | 门赌场百家乐的规则| 百家乐平六亿财富| 顶级赌场手机版| 大发百家乐官网的玩法技巧和规则| 百家乐声音不印网| 优博百家乐的玩法技巧和规则 | 大东方娱乐城| 大家旺百家乐娱乐城| 百家乐官网稳赚秘籍| 百家乐送18元彩金| 带百家乐官网的时时彩平台| 最好的百家乐好评平台都有哪些| 百家乐怎么下可以赢| 岳阳县| 百家乐刷钱| 百家乐官网l路单| 大发888作弊| 百家乐怎赌才赢钱| 至尊百家乐官网facebook| 太阳城论坛| 金域百家乐娱乐城| 百家乐官网游戏制作| 大发888娱乐城 健账号| 大发888网站多少| 阴宅24水口| 百家乐官网真人游戏网上投注 | 百家乐官网分路单| 大发888信用| 百家乐的赚钱原理| 百家乐官网设备电子路| 利高百家乐官网娱乐城| 大发888黄金版| 狮威百家乐娱乐城| 百家乐电脑游戏高手| 百家乐官网打闲赢机会多| 百家乐官网技巧下载| 百家乐是如何出千的| 在线百家乐官网作弊|