The Algorithms and Logic research lab in the UESTC was established by Professors Bakh Khoussainov and Mingyu Xiao in 2020. The lab conducts research in algorithms, automata, computational complexity, mechanism design, games played on graphs, automatic structures, and computable structures. Furthermore, our research involves interactions with other disciplines such as algorithm engineering, experimental algorithms, databases, computational economics, and security.

Our goal is to carry out high-level research and investigate challenging and fun problems. We aim at publishing in such conference venues as SODA, LICS, AAAI, IJCAI, WWW, STOC, ICALP, MFCS, and journals as Information and Computation, Journal for Symbolic Logic, and ACM Journal of Computing. Members of the lab won the best paper award in STOC 2017.

We welcome students to be a part of this active, growing, and exciting research group. We run seminars, discuss questions, collaborate at national and international levels, invite visitors, challenge the status quo in research, and actively attend top conferences.