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.
