中科院计算技术所刘兴武副研究员系列专题学术报告
报 告 人：刘兴武 副研究员(中科院计算技术研究所)
报告题目：当拓扑遇到计算机(10学时)
报告摘要：拓扑正越来越多的应用到计算机领域，在分布式计算、高维数据分析、传感器网络、机器人、博弈论、并发计算、过程代数、生物信息学、计算复杂度等多方面起到重要作用。本系列讲座将回顾这些应用的基本思想和方法，并聚焦于分布式可计算性与复杂度、决策树复杂度、博弈论，从而提出新的拓扑问题。

系列报告1：概述：拓扑在计算机科学中的应用
报告时间：2017年5月31日（星期三）下午3:30-5:10
报告地点：创新园大厦A1101

系列报告2：分布式可计算性与复杂度的拓扑刻画I
报告时间：2017年6月1日（星期四）下午3:30-5:10
报告地点：创新园大厦A1138

系列报告3：分布式可计算性与复杂度的拓扑刻画II
报告时间：2017年6月2日（星期五）下午3:30-5:10
报告地点：创新园大厦A1101

系列报告4：决策树复杂度：Aandera-Rosenberg-Karp猜想
报告时间：2017年6月5日（星期一）下午3:30-5:10
报告地点：创新园大厦A1138

系列报告5：博弈论和Lovász局部引理：公平的困扰
报告时间：2017年6月6日（星期二）下午3:30-5:10
报告地点：创新园大厦A1101

报告人简介: 刘兴武，中科院计算技术研究所副研究员，中国科学院大学岗位教授，期刊Frontiers of Computer Science的青年编委。1999年于华东师范大学数学系获理学学士学位，2002年于北京大学数学科学学院获理学硕士学位，2005年于中国科学院计算技术研究所获工学博士学位，毕业后留所工作，历任助理研究员、副研究员。2008年获得欧盟EchoGRID fellowship，赴法国INRIA作博士后研究；2012年受国家留学基金委资助，赴南加州大学进行访问研究。研究领域为理论计算机科学，主要兴趣包括分布式计算理论、动态数据算法、概率方法。主持或参与了国家自然科学基金、863计划、国家重点研发计划等课题。