［本站讯］5月28日，美国威斯康星大学计算机科学系蔡进一（Jin-Yi Cai）教授、微软亚洲研究院理论组陈卫研究员一行访问软件园校区。微软亚洲研究院陆品燕博士、王亚军博士和新加坡南洋理工大学陈宁博士一同来访。
    蔡进一教授作了题为《Complexity Theory --- The World of P and NP》的学术报告。蔡进一教授从P和NP的基本概念开始，逐步讲到计数复杂性类#P，并介绍了自己在这方面的最新研究成果。陈卫研究员作了题为《Social Networks and Beyond》的学术报告，介绍了微软亚洲研究院理论组在社会网络方面的最新研究成果。陈卫研究员的报告对于如何进行正确的科研选题很有启示意义。陆品燕博士和陈宁博士分别介绍了算法博弈论方面的科研成果，王亚军博士介绍了社会网络方面的科研成果。会后，来访客人与计算机学院副院长杨承磊及部分教师进行学术座谈，就算法和计算复杂性方面的研究问题和人才培养、学术互访和交流等进行了深入交流。杨承磊介绍了计算机学院的科研情况，蔡进一教授介绍了理论计算机科学在美国的研究现状，陈卫研究员介绍了微软亚洲研究院理论组的科研情况。计算机学院副院长徐秋亮教授、博士生导师朱大铭教授以及部分教师、学生参加了学术报告会和座谈。
    蔡进一，毕业于复旦大学，曾在耶鲁大学、普林斯顿大学、SUNY Buffalo大学任教，现为威斯康星大学计算机科学系教授；曾获总统青年科学家奖、计算机科学Alfred P. Sloan奖、晨兴数学银奖和颁发给美国资深科学家的Humboldt研究奖等多种奖项；现担任《Journal of Complexity》和《Journal of Computer and Systems Sciences》(JCSS)副主编，《International Journal of Foundations of Computer Science》和《The Chicago Journal of Theoretical Computer Science》编辑，《International Journal of Software and Informatics》领域编辑；长期从事计算复杂性理论的研究，发表超过100篇研究论文，是该领域内著名的计算机科学家，ACM Fellow和AAAS Fellow。陈卫，毕业于清华大学，现为微软亚洲研究院理论组首席研究员，清华大学客座教授；主要研究分布式计算，容错系统和理论，算法博弈论和社会网络中的算法问题；在国际领先的期刊和会议上发表了大量研究论文，获2000年IEEE/IFIP Dependable Systems and Networks国际会议William C. Carter奖。陆品燕博士，微软亚洲研究院理论组副研究员，主要研究计算复杂性理论、算法设计和算法博弈论；论文Holographic Algorithms: The Power of Dimensionality Resolved获ICALP 2007最佳论文奖。陈宁博士，新加坡南洋理工大学数学科学系的助理教授，主要研究算法博弈论和计算经济学、Internet的算法和经济问题、算法和组合优化。王亚军博士，2008年加入微软亚洲研究院理论组，主要研究计算几何、社会网络和算法博弈论。       
]