欧洲科学院院士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。双方在学术交流的同时讨论了下一阶段的工作及相关合作。