Prof. Bakh Khoussainov is an invited speaker at Fifth Workshop on Digitalization and Computable Models (WDCM2023), see https://sites.google.com/view/wdcm2023/home/invited-speakers for the details.

Prof. Bakh Khoussainov is an invited speaker at Asian Logic Conference, see https://logic.nankai.edu.cn/alc2023/ for the details.

Recently, the results of the regional semi-final of the CodeCraft2023 Competition (2023华为软件精英挑战赛) were announced. Two teams from our lab qualified for the final, with one team ranking 1st and the other ranking 2­nd. The final is scheduled to take place on April 22nd. The first team consists of three students from our lab: Junqiang Peng…

【研究生精品课程】构建博士生资格课程，紧扣“前沿”驱动核心，探索高端人才培养模式 ——计算机科学与工程学院一流研究生课程体系的改革与探索 链接：https://news.uestc.edu.cn/?n=UestcNews.Front.DocumentV2.ArticlePage&Id=87921 February 20, 2023

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

Prof. Bakh Khoussainov is an invited speaker at Nerode’s conference, Logical Foundation of Computer Science. Title of the talk is “Probability Structures”. https://lfcs.ws.gc.cuny.edu/tag/nerode-90/

The Algorithmic Game Theory and Computation Theory Forum was held on June 13, 2022, at Qingshuihe Campus, University of Electronic Science and Technology. This forum was hosted by A&L Lab. The event was opened by the Vice Present, Professor Haoquan Hu and CCF TCS Committee Director, Professor Xiaoming Sun. This forum focuses on the intersection…

Recently, the results of the IEEEXtreme 15.0 programming competition were announced. The CoolSunlightBear team sent by our group has achieved the 5th place in the world (2nd in Asia). The three student members of the team are Zihui Liang (captain, supervised by Prof. Bakh Khoussainov), Ziliang Xiong (supervised by Prof. Mingyu Xiao), Yuxi Liu (supervised…

Prof. Bakh Khoussainov has given invited talk at Sirius Mathematics Center. Recoridng of the talk is online. See https://sites.google.com/view/apm-2021/home.

Bakh Khoussainov is a co-winner of the EATCS-EPEC Nerode Prize for his papers on parity games. The prize is shared with Frank Stephan, Sanjay Jain, Wei Li (NUS) and Cristian Calude (the University of Auckland). The prize is for outstanding research in the area of multivariate algorithms. The award is given by the European Association…