3月8日：傅育熙/张健
发布时间：2019-03-04 浏览量：2338
报告一：傅育熙
报告题目：A Model Independent Approach to Random Process
报告人： 傅育熙 教授 上海交通大学
主持人： 陈仪香 教授
报告时间：2019年3月8日 周五10:00-11:00
报告地点：中北校区数学馆201
报告人： 傅育熙 教授 上海交通大学
主持人： 陈仪香 教授
报告时间：2019年3月8日 周五10:00-11:00
报告地点：中北校区数学馆201
报告摘要：
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.
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的编委。
傅育熙，上海交通大学特聘教授。曾任上海交通大学计算机系主任、软件学院院长、上海市计算机学会理事长，目前是教育部计算机类教学指导委员会副主任。研究领域为理论计算机科学，研究内容涉及程序理论、并发计算模型、验证理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人，Mathematical Structures in Computer Science的编委。
报告二：张健
报告题目：计数问题与程序分析
报告人： 张健 教授 中国科学院软件研究所
主持人： 陈仪香 教授
报告时间：2019年3月8日 周五11:00-12:00
报告地点：中北校区数学馆201
报告人： 张健 教授 中国科学院软件研究所
主持人： 陈仪香 教授
报告时间：2019年3月8日 周五11:00-12:00
报告地点：中北校区数学馆201
报告摘要：
众所周知，约束求解、可满足性判定算法及工具在程序分析与验证中起到关键作用。而与之相关的计数问题则研究得不太多。报告将简要介绍不同形式的计数问题，在高效计数方法方面的尝试，以及潜在的应用和大数据公司都尝试利用大数据解决征信领域存在的问题。我国征信体系起步比较晚，但是同时也在信息技术的推动下进入了数字经济时代，但是如何利用大数据建立信用风险模型存在理论上和技术上的挑战。本次讲座将重点阐述大数据技术如何推动征信的发展，如何解决中国的征信业的挑战，同时对征信大数据在宏观、中观和微观层面的应用进行举例说明，最后对未来征信与大数据技术的融合进行展望。
报告人简介：
张健，中国科学院软件研究所研究员，华东师范大学兼职教授。主要研究兴趣包括：自动推理、约束求解、软件测试与分析。在逻辑公式的可满足性判定、软件测试数据生成和程序静态分析等方面取得了多项成果。张健研究员目前担任《计算机学报》，JCST, Frontiers of Computer Science,IEEE Transactions on Reliability,《中国科学：信息科学》，《计算机科学与探索》编委。先后获得过中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴；还曾担任国家自然科学基金委员会“可信软件基础研究”重大研究计划学术指导专家。
快速通道:
