活動一覽
昔日活動
所有
傑出學人講座
合辦講座
研討會
薈萃高研院
工作坊 / 論壇
學術會議
研究專題
其他
訂閱電子新聞
傑出學人講座
How Can Software Engineering Contribute to the Design and Operation of Smart Environments?
Prof Carlo Ghezzi, Professor and Chair of Software Engineering, Polytechnic University of Milan
日期 : 2017年 1月 12日 (星期四)
時間 : 下午4時至5時30分
地點 : 香港科技大學 李兆基校園 盧家驄薈萃樓 高研院演講廳
圖片集 詳情

Abstract

Advances in technology, in particular in cyber-physical systems, increasingly enable functionalities that will lead to the development of smart living spaces – from “smart homes” to “smart cities” – where living conditions for people will be facilitated and enhanced. Cyber-physical spaces will assist and cooperate with people in their homes, including the elderly and disabled people. They will enhance operations in public buildings, such as hospitals or courts. They will assist in managing traffic in cities, reducing air pollution, and reducing energy consumption. Needless to say, the design of such future living spaces is a multidisciplinary endeavor, ranging contributions from Internet-of-Things to software engineering to civil engineering and architecture to medical sciences, transportation science, environmental science, energy, and so on.

In this lecture, the speaker will argue on software engineering that can bring a unique and fundamental contribution into this multidisciplinary world. It can support the design phase with formal models that integrate existing spatial design notations (such as BIM used by architects and civil engineering or CityGML, an emerging notation for city and landscape models) with modeling notations that support automatic reasoning and analysis, such as checking compliance with existing regulations or possible security and safety threats, or simulating how the space being designed will behave when operational. Automatic checking of models can also support monitoring the smart space, when it will be operational, and possible automatic reactions to keep the operational smart space aligned with its requirements. Initial research results in this direction will be presented, along with a possible research agenda.

About the speaker

Prof Carlo Ghezzi received his PhD in Electrical Engineering from Polytechnic University of Milan in 1969. He has been the Professor and Chair of Software Engineering at Polytechnic University of Milan since 1981. He held temporary or visiting positions at the University of California at Los Angeles, University of North Carolina at Chapel Hill, University of Padova, ESLAI-Argentina, University of California at Santa Barbara, Technical University of Vienna and University of Klagenfurt.

Prof Ghezzi’s research has been focusing on software engineering and programming languages. Currently, he is interested in methods and tools to improve dependability of adaptable and evolvable distributed applications, such as service-oriented architectures and ubiquitous/pervasive computer applications.

Prof Ghezzi was elected an ACM Fellow, IEEE Fellow, member of Academia Europaea and member of the Italian Academy of Sciences (Istituto Lombardo). He has also been awarded the 2006 ACM SIGSOFT Distinguished Service Award. He was the former President of Informatics Europe and the Editor in Chief of the ACM Transactions on Software Engineering and Methodology (from 2001 till 2006). He is currently an Associate Editor of Communications of the ACM, Science of Computer Programming, Service Oriented Computing and Applications, and Computing.

For attendees’ attention

 

  The lecture is free and open to all. Seating is on a first come, first served basis.
     
  Light refreshments will be served from 3:30 to 4:00 pm.

 

 

HKUST Jockey Club Institute for Advanced Study
Enquiries: ias@ust.hk / 2358 5912
http://ias.ust.hk