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).

---

• Venkatesan Guruswami: The Parameterized Inapproximability Hypothesis2025-02-26
• Siyue Liu: Approximately Packing Dijoins via Nowhere-Zero Flows2024-12-13
• Bingkai Lin: Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis2024-12-02

---