报告题目【Can formal methods and DevOps happily live together?】
时间：2019年7月22日 (星期一) 上午10:20
地点：旗山校区数信大楼507学术报告厅
主讲：意大利米兰理工大学教授，Carlo Ghezzi
主办：数学与信息学院，数字福建环境监测物联网实验室
参加对象：感兴趣的老师、研究生、部分本科生
报告摘要：Contemporary software systems are increasingly developed and operated according to a DevOps style, which supports a continuous, iterative view of development and operation, combining flexibility with adequate levels of management and control. In addition, the software itself is designed in a way that it can partly self-manage its evolution. This highly dynamic setting seems to preclude the use of formal methods. The agile movement has traditionally been hostile to formal methods, and the formal methods world hasn't done much to embrace agility. Likewise, formal methods and runtime environments traditionally don't speak to each other. The talk argues that these worlds that are traditionally separate should and could be brought together. DevOps and formal methods are not an oxymoron, but can live together with potential high benefits on software quality. The talk focuses on a key issue in bringing these worlds together: making formal specification and verification incremental. Some steps in this direction are described, although this remains as challenge for the software engineering research community.
报告人简介：Carlo Ghezzi is an Emeritus Professor at Politecnico di Milano, where he has previously been a Professor and Chair, and Pro-Rector for Research. He is an ACM Fellow (1999), an IEEE Fellow (2005), a member of the European Academy of Sciences and of the Italian Academy of Sciences. He received the ACM SIGSOFT Outstanding Research Award (2015), the Distinguished Service Award (2006), and the IEEE Distinguished Educator Award (2018). He has been President of Informatics Europe.
He has been a member of the program committee of flagship conferences in the software engineering field, such as the ICSE and ESEC/FSE, for which he also served as Program and General Chair.
He has been the Editor in Chief of the ACM Trans. on Software Engineering and Methodology and an associate editor of IEEE Trans. on Software Engineering, Communications of the ACM and Science of Computer Programming, and Computing.
Ghezzi’s research has been mostly focusing on different aspects of software engineering. He co-authored over 200 papers and 8 books. He coordinated several national and international research projects. He has been the recipient of an ERC Advanced Grant. He has been on numerous international evaluation committees.