Algorithms and Logic Group

News and Announcements

  1. 我校肖鸣宇教授当选中国计算机学会理论计算机科学专委主任
  2. We won COCOON 2023 best paper award
  3. Our Team Will Hold COCOON 2025 and WALCOM 2025
  4. 算法与逻辑团队本科生在理论计算机科学领域重要会议COCOON上发表研究成果
  5. 算法与逻辑团队在理论计算机科学领域顶级期刊Information and Computation上发表研究成果
  6. Professor Yuxi Fu will offer a short course on Advanced Computational Complexity
  7. 算法与逻辑团队学子获2023华为嵌入式软件大赛全国总决赛算法组季军
  8. Prof. Bakh Khoussainov’s talk at Beijing Logic Meeting
  9. 实验室学生勇夺大学生数学竞赛全国第一名
  10. Binglin Tao will defend her Ph.D. thesis on May 31, 2023