欧洲科学院院士Michael Hinchey教授一行来访
受上海市高可信计算重点实验室邀请,欧洲科学院院士、爱尔兰Limerick大学教授、爱尔兰国家软件工程实验室主任Michael Hinchey教授于2015年6月5-13日至华东师范大学访问交流,一同来访的有爱尔兰都柏林大学Trinity College 的Andrew Butterfield教授。期间,Michael Hinchey教授、Andrew Butterfield教授与实验室研究人员及学生进行学术交流,介绍了UTP2理论,该理论是对何积丰院士提出的程序统一理论(UTP)进一步的扩展和支撑,提供了UTP风格的证明以及UTP语言的定义等。同时,介绍了UTP中概率的齐次理论,并对UTP理论(包括GCL和CSP)进行实例化,从而发展出了有概率设计的理论pGCL和pCSP。双方在学术交流的同时讨论了下一阶段的工作及相关合作。