团队介绍
电子科技大学理论计算机科学团队于2020年组建成立，由新西兰院士Bakhadyr Khoussainov教授担任主任，肖鸣宇教授担任副主任。该团队致力于理论计算机科学方向的研究，特别是：逻辑、算法分析与设计（包括参数算法、精确算法、近似算法、在线算法、实验算法等）、形式化方法与认证、机制设计与算法博弈论、图论与图算法、组合优化等方向。团队以解决重要的科学问题为目的，培养并激发青年老师和学生从事基础理论研究的兴趣。团队目前拥有4位全职老师，2名博士后，7名博士生，10名硕士生和10余名本科生。团队前期在Information and Computation，JCSS，ACM Trans. Comput. Log.， Algorithmica，STOC，SODA，LICS，AAAI，IJCAI，WWW，AAMAS等重要刊物上发表论文200多篇，并获得了STOC 2017年的最佳论文奖。
团队里培养出了多名优秀的学生，学生人均能发表一篇CCF A类论文，多名学生在程序设计竞赛和数学建模竞赛中取得优异的成绩，如在ACM程序设计竞赛中多人进入世界总决赛；在IEEE极限编程竞赛中连续两次获得世界第二名，三次进入世界前十名等。学有余力的本科生可以提前进入实验室进行学习。
团队欢迎有志从事基础理论研究的青年老师和资深教授加入，特别是能瞄准有重要意义的理论问题且能坚持不懈的研究人员。有意者可以参考电子科技大学计算机学院预聘长聘的招聘待遇，也欢迎直接和肖鸣宇老师联系。
关于团队News及Seminars等详情请点击这里了解。
About Us
The Algorithms and Logic research lab in the UESTC was established by Professors Bakh Khoussainov and Mingyu Xiao in 2020. The lab conducts research in algorithms, automata, computational complexity, mechanism design, games played on graphs, automatic structures, and computable structures. Furthermore, our research involves interactions with other disciplines such as algorithm engineering, experimental algorithms, databases, computational economics, and security.
For more information about our group (news, seminars, …), please click here.
Academic Faculty
Bakhadyr Khoussainov, Professor, Group Director
Research Interests: Algorithms, Automata, Computability, Games on Graphs, Logic, Randomness.
Email: bmk{AT}uestc.edu.cn
Address: Main Building (Qingshuihe Campus)
Mingyu Xiao(肖鸣宇), Professor, Deputy Director
Ph.D.(The Chinese University of Hong Kong)
Research Interests: Graph Algorithms and Graph Theory, Exact and Parameterized Algorithms, Mechanism Design, Computational Social Choice.
Email: myxiao{AT}uestc.edu.cn
Address: Main Building B1-515 (Qingshuihe Campus)
Yi Zhou(周毅), Associate Professor
Research Interests: Experimental Algorithms,Operations Research.
Email: zhou.yi{AT}uestc.edu.cn
Address: Main Building B1-408 (Qingshuihe Campus)
Chao Xu(许超), Assistant Professor (Tenure Track)
Ph.D.(University of Illinois at Urbana-Champaign)
Research Interests: Algorithms, Combinatorial Optimization and Computational Geometry.
Email: the.chao.xu{AT}gmail.com
Address: Qingshuihe Campus
Toru Takisaka(滝坂 透), Postdoc
Ph.D.(Kyoto University)
Research Interests: Probabilistic Program Verification, Algorithmic Randomness, Automata Theory.
Email: t.takisaka2009.a2n7{AT}gmail.com
Address: Qingshuihe Campus
Mengxiao Zhang(张梦筱), Postdoc
Ph.D.(The University of Auckland)
Research Interests: Algorithmic Mechanism Design, Economics of Security and Privacy, Data Marketplaces.
Email: mengxiao.zhang{AT}auckland.ac.nz
Address: Qingshuihe Campus