Algorithms and Logic Group

The Algorithms and Logic lab 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.

---

Currently, our laboratory is recruiting undergraduate, Master and Ph.D students with strong self-motivation and interest in theoretical research.

We are also hiring postdocs, assistant professors, associate professors, and professors. If you are interested in joining, please contact us by email.

---

CONTACT US:

bmk{AT}uestc.edu.cn (Bakh Khoussainov) and myxiao{AT}uestc.edu.cn (Mingyu Xiao).

---

• Andrei Bulatov: Counting Problems, Partition Functions, Statistical Physics, and Computational Complexity2025-04-25
• Ziyang Men: Parallel kd-tree with Batch Updates2025-04-22
• Giorgos Mousa: Broken Circuit Complex: Introduction and Open Questions2025-03-28

---