Toru Takisaka's webpage
Description: Bakh M. Khoussainov is currently a professor at Logic and algorithm lab of University of Electronic Science and Technology of China
computer (11326) logic (488) algorithm (316) automata (77) bakh m. khoussainov (1) bakh (1)
I am a professor of computer science at The University of Electronic Science and Technology of China(UESTC) ,Chengdu. I lead The Algorithm and Logic Lab at the computer science school of the UESTC. I work on computable structures, automatic structutres, games on graphs, mechanism design, and probability structures.
Prof. Bakh Khoussainov’s talk at Nerode’s conference Prof. Bakh Khoussainov is an invited speaker at Nerode’s conference, Logical Foundation of Computer Science. Title of the talk is “Probability Structures”. June 22, 2022
We won the 5th place in The IEEEXtreme Global Extreme Programming Competition 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 by Prof. Mingyu Xiao), and the team adviser is Associate Prof. Yi Zhou. April
Toru Takisaka's webpage