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. Zhuohan Wang (王卓涵), Master student (2020-2023), then Ph.D student at The University of New South Wales.
  18. Yuhang Guo (郭宇航), Master student (2020-2023), then Ph.D student at King’s College London.
  19. Qi Shi (石琪), Master student (2020-2023), then Ph.D student an University of Southampton.
  20. Bin Li (李斌), Master student (2020-2023), then Lecturer at Nanjing University of Posts and Telecommunications.
  21. Xudong Zhu (朱旭东), Undergraduate student (2020-2024), then Master Student at The Ohio State University.
  22. Qihan Zhang (张启涵), Undergraduate student (2019-2023), then Master Student at University of California, Los Angeles.
  23. Zhengren Wang (王正仁), Undergraduate student (2019-2023), then Master student in Peking University.
  24. Zhiting Liu (刘致廷), Undergraduate student (2019-2023), then Master Student at National University of Singapore.
  25. Siyuan Du (杜思远), Undergraduate student (2019-2023), then Ph.D Student at Fudan University.
  26. Haoyun Jiang (姜皓允), Undergraduate student (2019-2023), then Ph.D Student at Shanghai Jiao Tong University.
  27. Yuhao Liu (刘宇豪), Undergraduate student (2019-2023), then Ph.D student at University of Wisconsin–Madison.
  28. Ke Shi (史可), Undergraduate student (2019-2023), then Master Student at University of Science and Technology of China.
  29. Huairui Chu (褚怀瑞), Undergraduate student (2017-2021), then Master Student at Nanjing University.
  30. Junwei Xu (徐经纬), Undergraduate student (2017-2021), then Ph.D. Student at Shanghai Jiao Tong University.
  31. Guoliang Qiu (邱国良), Undergraduate student (2016-2020), then Ph.D. Student at Shanghai Jiao Tong University.
  32. Xiaoyu Chen (陈小羽), Undergraduate student (2016-2020), then Ph.D. Student at Nanjing University.
  33. Ziyang Men (门子扬), Undergraduate student (2016-2020), then Master Student at University of Copenhagen.
  34. Xinyu Wu (吴新雨), Master student (2020-2023), then joined Huawei Technologies Co., Ltd.
  35. Yuchao Song (宋宇超), Master student (2019-2022), then joined Huawei Technologies Co., Ltd.
  36. Shubei Wang (王书贝), Master student (2019-2022), then joined JD.
  37. Shan Hu (胡珊), Master student (2019-2022), then joined Huawei Technologies Co., Ltd.
  38. Sen Huang (黄森), Master student (2018-2021), then joined Alibaba Group.
  39. Chenwei Mu (穆宸炜), Master student (2018-2021), then joined Tencent Technology (Shenzhen) Co., Ltd.
  40. Wang Ke (柯旺), Master student (2018-2021), then joined Baidu Online Network Technology (Beijing) Co., Ltd.
  41. Zhenyu Guo (郭镇宇), Master student (2017-2020), then joined Pony.ai.
  42. Jiaxing Ling (凌佳兴), Master student (2017-2020), then joined Huawei Technologies Co., Ltd.
  43. Weibo Lin (林维博), Master student (2016-2019), then joined Huawei Technologies Co., Ltd.
  44. Xuanbei Wang (王铉钡), Master student (2016-2019), then joined Huawei Technologies Co., Ltd.
  45. Jianan Zhang (张佳男), Master student (2015-2018), then joined Tencent Technology (Shenzhen) Co., Ltd.
  46. Yuqing Wang (王宇青), Master student (2015-2018), then joined Alibaba Group.
  47. Shaowei Kou (寇绍威), Master student (2014-2017), then joined Baidu Online Network Technology (Beijing) Co., Ltd.
  48. Binglin Tao (陶冰琳), Ph.D. student (2018-2023). then associate professor at Sichuan Agricultural University.
  49. Tian Bai (白天), Ph.D. student (2016-2024), then Postdoc at Hong Kong University.
  50. Mengfan Ma (马梦帆), Ph.D. student (2018-2024).

Visitors

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