How can Software Engineering Contribute to the Design and Operation of Smart Environments?

Abstract

[evdate 2017-01-12] IAS distinguished lecture. Title from opening screen.

Abstract: In this lecture, the speaker argued 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.

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.

Duration: 84 min.