Algorithms and Logic Group

People

Academic Faculty

Staff

Students

Vistors

Academic Faculty

Bakhodyr Khoussainov, Professor, Group Director

Ph.D.(Novosibirsk University)

Research Interests: Algorithms, Automata, Computability, Games on Graphs, Logic, Randomness.

Email: bmk{AT}uestc.edu.cn

Address: Fourth Scientific Research Building A 543 (Qingshuihe Campus)

Mingyu Xiao(肖鸣宇), Professor, Deputy Director

Ph.D.(The Chinese University of Hong Kong)

Research Interests: Graph Algorithms and Graph Theory, Exact and Parameterized Algorithms, Mechanism Design, Computational Social Choice.

Email: myxiao{AT}uestc.edu.cn

Address: Fourth Scientific Research Building A 532 (Qingshuihe Campus)

Yi Zhou(周毅), Associate Professor

Ph.D.(University of Angers)

Research Interests: Experimental Algorithms, Operations Research.

Email: zhou.yi{AT}uestc.edu.cn

Address: Fourth Scientific Research Building A 545 (Qingshuihe Campus)

Dong Hao(郝东), Associate Professor

Ph.D.(Kyushu University)

Research Interests: Algorithmic Game Theory, Mechanism Design, Incentive Design, Social and Economic Networks.

Email: haodongpost{AT}gmail.com

Address: Fourth Scientific Research Building A 545 (Qingshuihe Campus)

Chao Xu(许超), Associate Professor

Ph.D.(University of Illinois at Urbana-Champaign)

Research Interests: Algorithms, Combinatorial Optimization and Computational Geometry.

Email: thechaoxu{AT}gmail.com

Address: Fourth Scientific Research Building A 547 (Qingshuihe Campus)

Toru Takisaka(滝坂 透), Associate Professor

Ph.D.(Kyoto University)

Research Interests: Probabilistic Program Verification, Algorithmic Randomness, Automata Theory.

Email: takisaka{AT}uestc.edu.cn

Address: Fourth Scientific Research Building A 549 (Qingshuihe Campus)

Alexander Zapryagaev, Postdoc

Ph.D.(National Research University Higher School of Economics)

Research Interests: Formal Arithmetics, Interpretations, Automatic Structures

Email: aleksandr.zapryagaev{AT}yandex.ru

Address: Fourth Scientific Research Building A 549 (Qingshuihe Campus)

Yiping Liu, Postdoc

Ph.D.(The University of Auckland)

Research Interests: Operation Research, Experimental Algorithms, Network Structures and Dynamics.

Email: yliu823{AT}aucklanduni.ac.nz

Address: Fourth Scientific Research Building A 549 (Qingshuihe Campus)

Staff

Ying Lv(吕莹), Administrative Assistant

M.Eng. (Beijing Institute of Technology)

Email: to be updated

Address: Fourth Scientific Research Building A 522B (Qingshuihe Campus)

Ting Gou(苟亭), Group Administrative Assistant

M.A. (UESTC)

Email: gouting{AT}uestc.edu.cn

Address: Fourth Scientific Research Building A 549 (Qingshuihe Campus)

Yuting Fang(方雨婷), Administrative Assistant

B.S. (Baylor University)

Email: yutingf{AT}uestc.edu.cn

Address: Fourth Scientific Research Building A 549 (Qingshuihe Campus)

Students

Ph.D. Students

  1. Zimo Sheng (盛子默), Ph.D. student (2020-), previously Master student (2018-2020), Supervised by Mingyu Xiao (肖鸣宇）
  2. Jingyang Zhao (赵景阳), Ph.D. student (2021-), previously Master student (2020-2021), Supervised by Mingyu Xiao (肖鸣宇）
  3. Junqiang Peng (彭俊强), Ph.D. student (2021-), Supervised by Mingyu Xiao (肖鸣宇）
  4. Zihui Liang (梁子辉), Ph.D. student (2021-), Supervised by Bakhodyr Khoussainov
  5. Yuxi Liu (刘雨曦), Ph.D. student (2022-), Supervised by Mingyu Xiao (肖鸣宇)
  6. Kangyi Tian (田康毅), Ph. D.student (2024-), previously Undergraduate Student (2020-2024), Supervised by Mingyu Xiao (肖鸣宇）
  7. Yu Cong (丛宇), Ph.D. student (2024-), previously Undergraduate Student (2020-2024), Supervised by Chao Xu

Master Students

  1. Yiyan Xu (徐怡嫣), Master student (2021-), Supervised by Dong Hao(郝东）
  2. Lu Liu (刘露), Master student (2022-), Supervised by Mingyu Xiao (肖鸣宇）
  3. Wenjun Li (李汶骏), Master student (2022-), Supervised by Mingyu Xiao (肖鸣宇）
  4. Zhichao Xie (解智超), Master student (2022-), Supervised by Mingyu Xiao (肖鸣宇）
  5. Bozhan Zhang (张铂湛), Master student (2022-), Supervised by Mingyu Xiao (肖鸣宇）
  6. Sunwang Wang (汪顺旺), Master student (2022-), Supervised by Yi Zhou (周毅）
  7. Chunyu Luo (罗春雨), Master student (2022-) , Supervised by Yi Zhou (周毅）
  8. Fengjuan Jia (贾丰娟), Master student (2022-), Supervised by Bakhodyr Khoussainov
  9. Tianqi Song (宋天祺), Master student (2022-), Supervised by Chao Xu
  10. Haidong Yang (杨海东), Master student (2022-), Supervised by Bakhodyr Khoussainov
  11. Dongyu Lv (吕东育), Master student (2022-), Supervised by Chao Xu
  12. Yifan Huang (黄奕凡), Master student (2022-), Supervised by Dong Hao(郝东）
  13. Jianbo Wang (王建波), Master student (2022-), Supervised by Chao Xu
  14. Changjiang Wang (王长江), Master student (2022-), Supervised by Bakhodyr Khoussainov
  15. Lokesh Bahadur Shrestha (鲁克士), Master student (2022-), Supervised by Yi Zhou (周毅）
  16. Fu Chen (陈福), Master student (2023-), Supervised by Chao Xu
  17. Quanmeng Jiang (蒋泉萌), Master student (2023-), Supervised by Chao Xu
  18. Yuqing Li (李郁清), Master student (2023-), Supervised by Dong Hao(郝东）
  19. Zhiyi Fan (范志毅), Master student (2023-), Supervised by Dong Hao(郝东）
  20. Yuyu Zhao (赵俞瑜), Master student (2023-), Supervised by Dong Hao(郝东）
  21. Luozhusangdan (罗珠桑丹), Master student (2023-), Supervised by Dong Hao(郝东）
  22. Yimin Hao (郝益民), Master student (2023-), previously Undergraduate student (2019-2023), Supervised by Yi Zhou (周毅）
  23. Bowen Qi (戚博文), Master student (2023-), Supervised by Yi Zhou (周毅）
  24. Xiaoran Hu (胡笑然), Master student (2023-), Supervised by Yi Zhou (周毅）
  25. Chenhao Fu (符尘浩), Master student (2023-),Supervised by Bakhodyr Khoussainov
  26. Xinyao Wang (王鑫尧), Master student (2023-),Supervised by Bakhodyr Khoussainov
  27. Jingwei Yi (弋竞为), Master Student (2023-), previously Undergraduate student (2019-2023), Supervised by Mingyu Xiao (肖鸣宇）
  28. Yaohao Liu (刘耀壕), Master Student (2023-), Supervised by Mingyu Xiao (肖鸣宇）
  29. Zhiyue Zhong (钟志越), Master Student (2023-), Supervised by Mingyu Xiao (肖鸣宇）
  30. Zhonghao Wang (王忠昊), Master Student (2023-), Supervised by Mingyu Xiao (肖鸣宇）
  31. Chenghao Zhu (朱铖昊), Master Student (2024-) previously undergraduate student (2020-2024), Supervised by Yi Zhou(周毅）
  32. Yonghang Su (粟永航), Master Student (2024-), Supervised by Yi Zhou(周毅）
  33. Mingdong Yang (杨明东), Master Student (2024-), Supervised by Chao Xu
  34. Xiaoyang Gong (龚骁阳), Master Student (2024-), previously Undergraduate student (2020-2024), Supervised by Bakhodyr Khoussainov
  35. Meihong Zhang (张梅宏), Master Student (2024-), previously Undergraduate student (2020-2024), Supervised by Bakhodyr Khoussainov
  36. Yunxiao Zhao (赵云骁), Master Student (2024-), Supervised by Bakhodyr Khoussainov
  37. Shuaikang Peng (彭帅康), Master Student (2024-), Supervised by Mingyu Xiao (肖鸣宇)
  38. Jinping Lei (雷金坪), Master Student (2024-), Supervised by Mingyu Xiao (肖鸣宇)
  39. Yizhou Wu (吴奕洲), Master Student (2024-), Supervised by Mingyu Xiao (肖鸣宇)
  40. Rui Xiao (肖睿), Master Student (2024-), Supervised by Mingyu Xiao (肖鸣宇)
  41. Xingtang Liao (廖兴棠), Master Student (2024-), Supervised by Mingyu Xiao (肖鸣宇)
  42. Wenxiang Zhou (周文祥), Master Student (2024-), Supervised by Mingyu Xiao (肖鸣宇)

Undergraduate Students

  1. Shuo Wang (王硕), Undergraduate student (2022-)
  2. Zhenxiang Xu (徐振翔), Undergraduate student (2021-)
  3. Baoduo Xu (许宝铎), Undergraduate student (2021-)
  4. Yike Chen (陈奕可), Undergraduate student (2021-)
  5. Yuda Chen (陈昱达), Undergraduate student (2021-)
  6. Zhenbo Wang (王振波), Undergraduate student (2021-)
  7. Xudong He (何旭东), Undergraduate student (2021-)
  8. Lin Huang (黄霖), Undergraduate student (2022-)
  9. Yifei Liang (梁诣飞), Undergraduate student (2022-)
  10. Mingyu Lin (林明宇), Undergraduate student (2022-)
  11. Jiawen Chen(陈佳文), Undergraduate student (2022-)

Alumni

  1. Linyi Chu (储林亿), Undergraduate student (2020-2024).
  2. Xin Cheng (程鑫), Undergraduate student (2020-2024), then Master Student at Shanghai University of Finance and Economics.
  3. Fuqiang Chen (陈富强), Master student (2021-2024).
  4. Guixin Lin (林贵鑫), Master student (2021-2024), then joined Iflytek Co., Ltd.
  5. Zibo Zhou (周梓勃), Master student (2021-2024), then joined Alibaba Group
  6. Qimu Xiao (肖棋木), Master student (2021-2024), then joined Meituan Co., Ltd.
  7. Yuyang Zhuge (诸葛禹阳), Undergraduate student (2020-2024), then Research Assistant at University of Electronic Science and Technology of China.
  8. Daichen Liu (刘代宸), Undergraduate student (2020-2024), then Master Student at Carnegie Mellon University.
  9. Liangyu Zou (邹良钰), Undergraduate student (2020-2024), then Master Student at Aarhus University.
  10. Yihao Zhao (赵艺豪), Undergraduate student (2020-2024), then Master Student at Waseda University.
  11. Haotian Pan (潘昊天), Undergraduate student (2020-2024), then Master Student at University of Science and Technology of China.
  12. Yicong Li (李奕聪), Undergraduate student (2020-2024), then Master student in Peking University.
  13. Dingwen Xu (许丁文), Master student (2021-2024), then joined Bank of Chengdu.
  14. Ye Wei (魏叶), Master student (2021-2024), then joined JD.
  15. Yuan Fang (房媛), Master student (2021-2024), then joined State Grid Corporation of China.
  16. Ziliang Xiong (熊子良), Master student (2021-2024), then joined Huawei Technologies Co., Ltd.
  17. Tian Bai (白天), Ph.D. student (2016-2024), then Postdoc at Hong Kong University.
  18. Mengfan Ma (马梦帆), Ph.D. student (2018-2024).
  19. Zhuohan Wang (王卓涵), Master student (2020-2023), then Ph.D student at The University of New South Wales.
  20. Yuhang Guo (郭宇航), Master student (2020-2023), then Ph.D student at King’s College London.
  21. Qi Shi (石琪), Master student (2020-2023), then Ph.D student an University of Southampton.
  22. Bin Li (李斌), Master student (2020-2023), then Lecturer at Nanjing University of Posts and Telecommunications.
  23. Xudong Zhu (朱旭东), Undergraduate student (2020-2024), then Master Student at The Ohio State University.
  24. Qihan Zhang (张启涵), Undergraduate student (2019-2023), then Master Student at University of California, Los Angeles.
  25. Zhengren Wang (王正仁), Undergraduate student (2019-2023), then Master student in Peking University.
  26. Zhiting Liu (刘致廷), Undergraduate student (2019-2023), then Master Student at National University of Singapore.
  27. Siyuan Du (杜思远), Undergraduate student (2019-2023), then Ph.D Student at Fudan University.
  28. Haoyun Jiang (姜皓允), Undergraduate student (2019-2023), then Ph.D Student at Shanghai Jiao Tong University.
  29. Yuhao Liu (刘宇豪), Undergraduate student (2019-2023), then Ph.D student at University of Wisconsin–Madison.
  30. Ke Shi (史可), Undergraduate student (2019-2023), then Master Student at University of Science and Technology of China.
  31. Huairui Chu (褚怀瑞), Undergraduate student (2017-2021), then Master Student at Nanjing University.
  32. Junwei Xu (徐经纬), Undergraduate student (2017-2021), then Ph.D. Student at Shanghai Jiao Tong University.
  33. Guoliang Qiu (邱国良), Undergraduate student (2016-2020), then Ph.D. Student at Shanghai Jiao Tong University.
  34. Xiaoyu Chen (陈小羽), Undergraduate student (2016-2020), then Ph.D. Student at Nanjing University.
  35. Ziyang Men (门子扬), Undergraduate student (2016-2020), then Master Student at University of Copenhagen.
  36. Xinyu Wu (吴新雨), Master student (2020-2023), then joined Huawei Technologies Co., Ltd.
  37. Yuchao Song (宋宇超), Master student (2019-2022), then joined Huawei Technologies Co., Ltd.
  38. Shubei Wang (王书贝), Master student (2019-2022), then joined JD.
  39. Shan Hu (胡珊), Master student (2019-2022), then joined Huawei Technologies Co., Ltd.
  40. Sen Huang (黄森), Master student (2018-2021), then joined Alibaba Group.
  41. Chenwei Mu (穆宸炜), Master student (2018-2021), then joined Tencent Technology (Shenzhen) Co., Ltd.
  42. Wang Ke (柯旺), Master student (2018-2021), then joined Baidu Online Network Technology (Beijing) Co., Ltd.
  43. Zhenyu Guo (郭镇宇), Master student (2017-2020), then joined Pony.ai.
  44. Jiaxing Ling (凌佳兴), Master student (2017-2020), then joined Huawei Technologies Co., Ltd.
  45. Weibo Lin (林维博), Master student (2016-2019), then joined Huawei Technologies Co., Ltd.
  46. Xuanbei Wang (王铉钡), Master student (2016-2019), then joined Huawei Technologies Co., Ltd.
  47. Jianan Zhang (张佳男), Master student (2015-2018), then joined Tencent Technology (Shenzhen) Co., Ltd.
  48. Yuqing Wang (王宇青), Master student (2015-2018), then joined Alibaba Group.
  49. Shaowei Kou (寇绍威), Master student (2014-2017), then joined Baidu Online Network Technology (Beijing) Co., Ltd.
  50. Binglin Tao (陶冰琳), Ph.D. student (2018-2023). then associate professor at Sichuan Agricultural University.

Visitors

  1. Siyue Liu(刘思月), Carnegie Mellon University, 2024-12-09~2024-12-13
  2. Bingkai Lin(林冰凯), Nanjing University, 2024-11-30~2024-12-03
  3. Yiyuan Wang(王艺源), Northeast Normal University, 2024-11-11~2024-11-13
  4. Bainian Hao(郝柏年)， University of Wisconsin-Madison，2024-11-07~2024-11-09
  5. Rizos Sklinos, University of Chinese Academy of Sciences, 2024-10-28~2024-11-02
  6. Yiding Feng, The Hong Kong University of Science and Technology, 2024-11-01~2024-11-07
  7. Shengxin Liu(刘圣鑫), Harbin Institute of Technology, Shenzhen, 2024-10-28
  8. Lev Dmitrievich Beklemishev, National Research University Higher School of Economics, 2024-10-15~2024-10-23
  9. Markus Lohrey, The University of Siegen, 2024-09-18~2024-10-09
  10. Jiamou Liu (刘佳谋), The University of Auckland, 2024-06-10 ~ 2024-07-06
  11. Weili Wu,  University of Texas at Dallas, 2024-06-10 ~ 2024-06-14
  12. Ton Kloks, National Tsing Hua University, 2024-05-30 ~ 2024-07-22
  13. MinMing Li (李閩溟), City University of Hong Kong, 2024-05-24 ~ 2024-05-26
  14. Qilong Feng (冯启龙）, Central South University，2024-05-24 ~ 2024-05-25
  15. Boting Yang, University of Regina, 2024-05-23 ~ 2024-06-03
  16. Qingyun Chen, University of California at Merced, 2024-05-13 ~ 2024-05-21
  17. Andre Nies, The University of Auckland, 2024-04-18 ~ 2024-04-20
  18. Yinyu Ye, Stanford University, 2024-03-24 ~ 2024-3-28
  19. Guanghao Ye, Massachusetts Institute of Technology, 2024-01-18 ~ 2024-01-19
  20. Nikolay Bazhenov, Novosibirsk State University, 2023-12-04 ~ 2023-12-10
  21. Fedor Fomin, University of Bergen, 2023-12-02 ~ 2023-12-12
  22. Georgios Barmpalias,University of Chinese Academy of Sciences, 2023-12-02 ~ 2023-12-09
  23. Yijia Chen, Shanghai Jiao Tong University, 2023-12-02~ 2023-12-05
  24. Yitong Yin(尹一通), Nanjing University, 2023-11-29 ~ 2023-12-01
  25. Fang Kong, Shanghai Jiao Tong University, 2023-11-29 ~ 2023-11-30
  26. Wanlin Cao (曹皖林), Texas A&M University, 2023-11-16 ~ 2023-11-17
  27. Zhile Jiang(蒋至乐), Aarhus University, 2023-11-06 ~ 2023-11-10
  28. Huairui Chu (褚怀瑞), Nanjing University, 2023-10-24 ~ 2023-10-28
  29. Ton Kloks, National Tsing Hua University, 2023-10-19 ~ 2023-12-17
  30. Yan Gu (顾研), University of California, Riverside, 2023-9-4 ~ 2023-9-11
  31. Sun Yihan (孙艺瀚), University of California, Riverside, 2023-9-4 ~ 2023-9-11
  32. Yiding Feng, University of Chicago, 2023-08-03~2023-08-04
  33. Chenglin Fan, Johns Hopkins University, 2023-07-05
  34. Louxin Zhang, National University of Singapore,2023-07-03
  35. Yuxi Fu (傅育熙), Shanghai Jiao Tong University, 2023-06-10~2023-06-16
  36. Yixin Cao (操宜新), Hong Kong Polytechnic University, 2023-05-15~2023-05-20
  37. MinMing Li (李閩溟), City University of Hong Kong, 2023-05 -13~2023-05-15
  38. Pan Peng (彭攀), University of Science and Technology of China, 2023-05-13~2023-05-14
  39. Xiaohui Bei (贝小辉), Nanyang Technological University, 2023-05-11~2023-05-12
  40. Zhiguo Fu (付治国), Northeast Normal University, 2023-05-08
  41. Zeyu Zhang (张泽宇), The University of Auckland, 2023-04-23~2023-04-29
  42. Jiamou Liu (刘佳谋), The University of Auckland, 2023-03-27~2023-03-31
  43. Zhanghua Fu (付樟华), The Chinese University of Hong Kong, Shenzhen, 2023-02-27~2023-02-27
  44. Chao Xu (徐超), Changsha University of Science and Technology, 2023-02-22~2023-02-27
  45. Jiamou Liu (刘佳谋), The University of Auckland, 2022-11-04~2023-01-14
  46. Ziheng Wei(魏子恒), HUAWEI,：2022.10.1-10.3
  47. Pinyan Lu (陆品燕), Shanghai University of Finance and Economics, 2022-07-04 ~ 2022-07-07
  48. Jingwei Xu (徐经纬), Shanghai Jiao Tong University, 2022-06-22 ~ 2022-06-24
  49. Libo Zhang (张立博), The University of Auckland, 2022-05-01 ~ 2022-07-30
  50. Yang Chen (陈阳), The University of Auckland,2022-06-13 ~ 2022-06-30
  51. Jiamou Liu (刘佳谋), The University of Auckland,2022-04-11 ~ 2022-06-24
  52. Yifei Wang (王逸非), The University of Auckland,2022-04-18 ~ 2022-04-30
  53. Baoxiang Wang (王趵翔), The Chinese University of Hong Kong, Shenzhen, 2021-11-30 ~ 2021-12-04
  54. Yan Gu (顾研), University of California, Riverside, 2021-11-11 ~ 2021-11-11
  55. Liang Yu (喻良), Nanjing University, 2021-11-01 ~ 2021-11-01
  56. Cristian S. Calude, University of Auckland, 2021-10-10 ~ 2021-10-10
  57. Qiankun Zhang (张乾坤), University of Hong Kong, 2021-09-14 ~ 2021-09-17
  58. Weiming Feng (凤维明), University of Edinburgh, 2021-09-13 ~ 2021-09-17
  59. Wenfei Wu (吴文斐), Tsinghua University, 2021-07-14 ~ 2021-07-15
  60. Zhipeng Lv (吕志鹏), Huazhong University of Science and Technology, 2021-07-07 ~ 2021-07-09
  61. Jian Li (李建), Tsinghua University, 2021-06-30 ~ 2021-07-01
  62. Xue Chen (陈雪), George Mason University, 2021-06-25 ~ 2021-06-30
  63. Qilong Feng (冯启龙), Central South University, 2021-06-15 ~ 2021-06-16
  64. Yi Deng (邓燚), University of Chinese Academy of Sciences, 2021-06-15 ~ 2021-06-17
  65. Zhilin Wu (吴志林), University of Chinese Academy of Sciences, 2021-06-15 ~ 2021-06-17
  66. Yijia Chen (陈翌佳), Shanghai Jiao Tong University, 2021-05-18 ~ 2021-05-21
  67. Angsheng Li (李昂生), Beihang University, 2021-04-06 ~ 2021-04-09