Algorithms and Logic Group

News

  1. 祝贺！算法与逻辑实验室教授当选欧洲科学院院士！
  2. 冠军+季军！算法与逻辑团队学子在2023华为软件精英挑战赛全球总决赛中再创佳绩

    4月23日，2023华为软件精英挑战赛全球总决赛在深圳华为总部举行，肖鸣宇教授指导的“_______（下划线）队”夺得了全球总决赛冠军，CHAO XU教授指导的“划水小队不划水队”夺得了全球总决赛季军，创造学校参赛以来历史最好成绩。

  3. Prof. Bakh Khoussainov’s talk at Fifth Workshop on Digitalization and Computable Models
  4. Prof. Bakh Khoussainov’s talk at Asian Logic Conference
  5. Two teams from our lab got through to the final of the CodeCraft2023 Competition
  6. Special Report from UESTC News on Reform and Exploration of High-quality courses for doctoral students in the School of Computer Science and Engineering
  7. Associate Professor Yi Zhou of received the “CCF-Huawei Poplar Forest Fund” Class A Funding

    9 月 29 日，首届“CCF（中国计算机协会）-华为胡杨林基金理论计算机科学专项”资助项目结果揭晓，来自我校计算机科学与工程学院的周毅副教授的项目“基于 k-plex 的松弛团提取算法的理论与技术研究”获得了 A 类资助。

  8. Prof. Bakh Khoussainov’s talk at Nerode’s conference
  9. A&L Lab hold Algorithmic Game Theory and Computation Theory Forum 2022
  10. We won the 5th place in The IEEEXtreme Global Extreme Programming Competition