澳门葡京

澳门葡京党委宣传部、新闻中心主办

2019年信息工程学院学术报告之七

来源:信息工程学院 发布日期:2019-03-11
        题  目:A Model Indeependent Approach to Random Process
        主讲人:傅育熙
        时  间:3月14日(周四)9:30
        地  点:信息工程学院31-903
        报告摘要:
        There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic actions and nondeterministic behaviours. In this talk we propose a uniform approach to probabilistic process models and a bisimulation congruence for probabilistic concurrency.
        主讲人简介:
        傅育熙,上海交通大学特聘教授。曾任上海交通大学计算机系主任、软件学院院长、上海市计算机学会理事长,目前是教育部计算机类教学指导委员会副主任。研究领域为理论计算机科学,研究内容涉及程序理论、并发计算模型、验证理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人,Mathematical Structures in Computer Science的编委。