Algorithms and Logic Group

News

  1. 肖鸣宇教授担任全国计算机科学技术名词审定委员会委员
  2. Zhongsheng Wang: Creative Intelligence: Applications of Large Language Models in Data Generation and Reasoning
  3. Celebrating the Graduation of Two Outstanding Ph.D. Students
  4. 算法与逻辑团队在计算机理论方向多个顶级国际会议上实现突破
  5. 我校肖鸣宇教授当选中国计算机学会理论计算机科学专委主任
  6. We won COCOON 2023 best paper award
  7. 算法与逻辑团队本科生在理论计算机科学领域重要会议COCOON上发表研究成果
  8. 算法与逻辑团队在理论计算机科学领域顶级期刊Information and Computation上发表研究成果
  9. 算法与逻辑团队学子获2023华为嵌入式软件大赛全国总决赛算法组季军
  10. Prof. Bakh Khoussainov’s talk at Beijing Logic Meeting