2016年4月26日下午，意大利米兰理工学院Carlo Ghezzi教授作客北京大学“信息技术与信息化”名家讲坛，作了题为“Tolerating uncertainty via evolvable--by--design software"的学术报告。报告会由谢冰教授主持，梅宏院士、金芝教授、张路教授、刘譞哲副教授及重点实验室数十名博士生参加了此次报告。
Carlo Ghezzi教授以形式化的方式描述了软件、环境和需求之间的关系，从软件开发和运行过程中常见的不确定性事件出发，介绍了不确定性对软件工程可能带来的诸多影响。基于此，他介绍了在设计阶段基于形式化方法考虑不确定性因素、在运行阶段达到自适应效果、由运行结果向形式化阶段反馈的软件设计开发理论。
报告结束后，Carlo Ghezzi教授是软件工程领域的顶级专家，是ACM Fellow和IEEE Fellow，欧洲科学院院士，意大利科学院院士，曾获ACM SIGSOFT Outstanding Research Award和Distinguished Service Award。现任Informatics Europe主席。同时是软件工程领域多个旗舰会议的PC member,曾担任TOSEM、TSE等顶级期刊的Editor.
