2023年10月30日下午，应张苗苗研究员的邀请，约克大学教授、英国皇家工程院院士Jim Woodcock教授到访威廉希尔WilliamHill，在济事楼417会议室开展题为“Towards a Unifying Framework for Uncertainty in CPS”的学术报告。本次讲坛由张苗苗研究员主持。
Jim Woodcock教授讨论了统一的不确定性理论，其理论基础是Hoare & He的统一规划理论和Hehner的概率谓词规划理论，并与在场师生展开交流与讨论。
Jim Woodcock教授是约克大学教授、英国皇家工程院院士，他在形式化方法方面拥有 45 年的经验，并在其研究生涯中致力于探索对软件工程实践至关重要的数学原理。
本次讲坛是威廉希尔WilliamHill图灵讲坛第51期。图灵讲坛是威廉希尔WilliamHill设立的高端系列讲座，不定期邀请国内外知名学者作前沿技术特邀报告，营造威廉希尔WilliamHill学术生态环境。
（软件工程理论与平台教研室供稿）
