算法与逻辑团队，2020年底由新西兰院士Bakhadyr Khoussainov教授（团队主任）和算法专家肖鸣宇教授（团队执行副主任）共同组建。团队致力于理论计算机科学方向的研究，特别是：算法分析与设计（包括参数算法、精确算法、近似算法、在线算法、实验算法等）、逻辑、形式化方法与认证、机制设计与算法博弈论、图论与图算法、组合优化等方向。团队以解决重要的科学问题为目的，培养并激发青年老师和学生从事基础理论研究的兴趣。团队目前拥有8位全职老师，50余名研究生和20余名本科生。团队前期在Inf. Comput., SIAM J. on Comput., IEEE/ACM Trans., JCSS, Math Program, Algorithmica, STOC, SODA, LICS, AAAI, IJCAI, WWW, INFOCOM, AAMAS等重要刊物上发表论文200多篇，并获得了STOC 2017，COCOON 2023 和 ECCSIT 2023最佳论文奖。

团队培养的学生人均能发表一篇CCF A类论文，多名学生在程序设计竞赛和数学竞赛中取得优异的成绩，如在ACM程序设计竞赛中10余人进入世界总决赛；在IEEE极限编程竞赛中连续两次获得世界第二名，六次进入世界前十名;两次获得华为软件精英挑战赛全球总决赛冠军; 2023年获得全国大学生数学竞赛（非数学类）全国第一名等。欢迎学有余力且对算法、计算理论、逻辑、机制设计等方向感兴趣的本科生提前进入实验室学习。

团队欢迎有志从事基础理论研究的青年老师和资深教授加入，特别是能瞄准有重要意义的理论问题且能坚持不懈的研究人员。若有相关方向研究人员想了解学校的工作条件和待遇的，欢迎向肖鸣宇老师咨询。

【团队负责人】

Bakh Khoussainov，教授，欧洲科学院院士，新西兰院士，电子科技大学计算机学院全职教授（我国西部地区引进的第一位发达国家的院士），目前担任电子科技大学算法与逻辑团队主任。他长期从事理论计算机科学中计算与逻辑领域的研究工作，2005年被新西兰最顶尖权威的学术组织——新西兰皇家学会评选为新西兰皇家学会院士，被评价为“在逻辑与理论计算机科学领域的领先专家，工作涉及对可计算性和复杂性理论的深入和非常广泛的研究”。2019年获得德国洪堡研究奖，该奖项旨在授予在基础研究、理论创新、学科引领等方面上取得了卓越成就的研究者。同年他还获得伦敦数学学会与新西兰数学学会联合授予的唯一Aitken Lecturer称号，该荣誉称号每两年仅授予一名最具杰出贡献的新西兰数学家（截至目前仅有包括美国工业与应用数学学会会士（SIAM Fellow）Hinke Osinga教授在内的5位研究者获此殊荣）。2017年他因其对于奇偶博弈问题的突出贡献荣获CCF A类会议ACM STOC 2017年最佳论文奖。他还曾获得新西兰数学学会研究奖，此奖项为新西兰数学领域最高奖，每年仅颁发给一名新西兰数学家，该奖项还曾颁发给包括美国数学学会会士G. Martin, R. Downey教授（AMS Fellow）, M. Conder教授（AMS Fellow）等优秀数学家。

肖鸣宇，教授，博导，电子科技大学计算机科学与工程学院副院长，算法与逻辑团队执行主任，CCF理事，CCF理论计算机科学专委主任，国家级信息与网络安全虚拟仿真教学中心主任，国家级计算机实验教学示范中心常务副主任。肖鸣宇教授活跃在算法与计算理论的前沿，从计算问题解空间的结构出发，探索计算复杂度的上下界，提出了系列新的算法分析与设计技巧，丰富了算法设计的理论体系，对进一步理解电子计算机模型下的计算本质做出了重要贡献。在参数算法和精确算法领域，是国内外知名的学者，解决了领域多个公开难题，为包括可满足性问题（SAT）和最大独立集问题（Max Independent Set）在内的10余个基本NP难问题设计当前最佳的参数和精确算法。将算法理论应用于人工智能、计算经济、运筹学、博弈论等领域中，也取得了显著成果。近年来在Information and Computation、JCSS、Algorithmica、ACM\IEEE Trans. 、AAAI、IJCAI、ICALP、INFOCOM、WWW等算法理论、人工智能基础算法领域顶级期刊和会议上以单独作者和主要作者发表论文超过130篇，撰写英文专著1部，主持国家自然科学基金项目六项。