题  目：A Model Indeependent Approach to Random Process

主讲人：傅育熙

时  间：3月14日（周四）9:30

地  点：英超买球平台31-903

报告摘要：There is a lot of research on probabilistictransition systems. There are not many studies in probabilistic process models.The lack of investigation into the interactive aspect of probabilisticprocesses is mainly due to the difficulty caused by the discrepancy betweenprobabilistic actions and nondeterministic behaviours. In this talk we proposea uniform approach to probabilistic process models and a bisimulationcongruence for probabilistic concurrency.

主讲人简介：

傅育熙，上海交通大学特聘教授。曾任上海交通大学计算机系主任、软件学院院长、上海市计算机学会理事长，目前是教育部计算机类教学指导委员会副主任。研究领域为理论计算机科学，研究内容涉及程序理论、并发计算模型、验证理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人，Mathematical Structures in Computer Science的编委。