About me

I am a Ph.D. student in Algorithms and Logic Group at The University of Electronic Science and Technology of China (UESTC) advised by Professor Bakh M.Khoussainov.

My research interest is in games on graphs and model checking.