Algorithms and Logic Group in UESTC

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.

---

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. Download Poster

---

CONTACT US:

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

---

• Yuyang Zhuge, Xiaoyang Gong: Automatic Structures2023-05-26
• Yu Cong: Trade-off Curve Computation for Incentive Allocation2023-05-19
• Yixin Cao: Enumerating Maximal Induced Subgraphs2023-05-15

---