科研学术

　　近日，中国计算机学会（CCF）理论计算机科学专业委员会召开全体会议，选举产生了新一届专委会领导机构，并在北京完成了新老主任交接工作。我校计算机科学与工程学院（网络空间安全学院）肖鸣宇教授当选新一届CCF理论计算机科学专业委员会主任。这是我校老师首次担任中国计算机学会专委会主任一职，将对提升我校在计算机学科的影响力、推动相关学科建设与发展起到积极作用。 

　　中国计算机学会（CCF）是全国一级学会。CCF理论计算机科学专委会成立于1983年，是理论计算机科学方向全国成立最早且规模最大的学术组织，该组织旨在促进国内计算机科学理论的学术研究和交流，推动算法等传统理论方向的发展，开拓新兴的理论方向，促进“理论联系实际”的前沿和交叉研究等。经过多年的建设与发展，目前专委会已成为拥有8个专业学组和3个工作组织的学术性团体。

　　肖鸣宇目前是计算机科学与工程学院（网络空间安全学院）教授，副院长，算法与逻辑实验室执行主任，国家级实验教学示范中心主任，国家级虚仿实验教学中心主任，中国计算机学会理事和杰出会员。

　　肖鸣宇教授长期致力于算法、计算理论、图论与图算法、机制设计与算法博弈论等方面的基础理论研究；在国内外是精确算法、参数算法、核心化算法等领域的著名专家，为SAT、最大独立集等多个基本NP难问题设计了当前最佳的精确算法和参数算法；并将算法理论应用于人工智能、工业优化、计算经济、运筹学等领域，且取得了显著成效。近年来在Information and Computation、JCSS、Algorithmica、ACM\IEEE Trans.、AAAI、IJCAI、ICALP、INFOCOM、WWW等算法理论、人工智能基础算法领域顶级期刊和会议上发表论文超过130篇，撰写英文专著1部。