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(许超), Assistant Professor (Tenure Track)

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)

Mengxiao Zhang(张梦筱), Postdoc

Ph.D.(The University of Auckland)

Research Interests: Algorithmic Mechanism Design, Economics of Security and Privacy, Data Marketplaces.

Email: mengxiao.zhang{AT}auckland.ac.nz

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)

Staff

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. Tian Bai (白天), Ph.D. student (2016-)
  2. Mengfan Ma (马梦帆), Ph.D. student (2018-)
  3. Zimo Sheng (盛子默), Ph.D. student (2020-), previously Master student (2018-2020)
  4. Jingyang Zhao (赵景阳), Ph.D. student (2021-), previously Master student (2020-2021)
  5. Junqiang Peng (彭俊强), Ph.D. student (2021-)
  6. Zihui Liang (梁子辉), Ph.D. student (2021-)
  7. Yuxi Liu (刘雨曦), Ph.D. student (2022-)

Master Students

  1. Zhuohan Wang (王卓涵), Master student (2020-)
  2. Yuhang Guo (郭宇航), Master student (2020-)
  3. Ziliang Xiong (熊子良), Master student (2021-)
  4. Dingwen Xu (许丁文), Master student (2021-)
  5. Ye Wei (魏叶), Master student (2021-)
  6. Yuan Fang (房媛), Master student (2021-)
  7. Guixin Lin (林贵鑫), Master student (2021-)
  8. Fuqiang Chen (陈富强), Master student (2021-)
  9. Qimu Xiao (肖棋木), Master student (2021-)
  10. Zibo Zhou (周梓勃), Master student (2021-)
  11. Yiyan Xu (徐怡嫣), Master student (2021-)
  12. Lu Liu (刘露), Master student (2022-)
  13. Wenjun Li (李汶骏), Master student (2022-)
  14. Zhichao Xie (解智超), Master student (2022-)
  15. Bozhan Zhang (张铂湛), Master student (2022-)
  16. Sunwang Wang (汪顺旺), Master student (2022-)
  17. Chunyu Luo (罗春雨), Master student (2022-)
  18. Fengjuan Jia (贾丰娟), Master student (2022-)
  19. Tianqi Song (宋天祺), Master student (2022-)
  20. Haidong Yang (杨海东), Master student (2022-)
  21. Dongyu Lv (吕东育), Master student (2022-)
  22. Yifan Huang (黄奕凡), Master student (2022-)
  23. Jianbo Wang (王建波), Master student (2022-)
  24. Changjiang Wang (王长江), Master student (2022-)
  25. Md Naim Hassan Saykat, Master student (2022-)
  26. Lokesh Bahadur Shrestha (鲁克士), Master student (2022-)
  27. Fu Chen (陈福), Master student (2023-)
  28. Quanmeng Jiang (蒋泉萌), Master student (2023-)
  29. Yuqing Li (李郁清), Master student (2023-)
  30. Zhiyi Fan (范志毅), Master student (2023-)
  31. Yuyu Zhao (赵俞瑜), Master student (2023-)
  32. Luozhusangdan (罗珠桑丹), Master student (2023-)
  33. Yimin Hao (郝益民), Master student (2023-), previously Undergraduate student (2019-2023)
  34. Bowen Qi (戚博文), Master student (2023-)
  35. Xiaoran Hu (胡笑然), Master student (2023-)
  36. Chenhao Fu (符尘浩), Master student (2023-)
  37. Xinyao Wang (王鑫尧), Master student (2023-)
  38. Jingwei Yi (弋竞为), Master Student (2023-), previously Undergraduate student (2019-2023)
  39. Yaohao Liu (刘耀壕), Master Student (2023-)
  40. Zhiyue Zhong (钟志越), Master Student (2023-)

Undergraduate Students

  1. Kangyi Tian (田康毅), Undergraduate student (2020-)
  2. Yuyang Zhuge (诸葛禹阳), Undergraduate student (2020-)
  3. Haotian Pan (潘昊天), Undergraduate student (2020-)
  4. Yihao Zhao (赵艺豪), Undergraduate student (2020-)
  5. Liangyu Zou (邹良钰), Undergraduate student (2020-)
  6. Daichen Liu (刘代宸), Undergraduate student (2020-)
  7. Linyi Chu (储林亿), Undergraduate student (2020-)
  8. Yu Cong (丛宇), Undergraduate student (2020-)
  9. Chenghao Zhu (朱铖昊), Undergraduate student (2020-)
  10. Xiaoyang Gong (龚骁阳), Undergraduate student (2020-)
  11. Yike Chen (陈奕可), Undergraduate student (2021-)

Past Students

  1. Zhengren Wang (王正仁), Undergraduate student (2019-2023), then now Master student in Peking University
  2. Zhiting Liu (刘致廷), Undergraduate student (2019-2023), then Master Student at National University of Singapore
  3. Siyuan Du (杜思远), Undergraduate student (2019-2023), then Ph.D Student at Fudan University
  4. Haoyun Jiang (姜皓允), Undergraduate student (2019-2023), then Ph.D Student at Shanghai Jiao Tong University
  5. Yuhao Liu (刘宇豪), Undergraduate student (2019-2023).
  6. Ke Shi (史可), Undergraduate student (2019-2023)，then Master Student at University of Science and Technology of China
  7. Huairui Chu (褚怀瑞), Undergraduate student (2017-2021), then Master Student at Nanjing University
  8. Junwei Xu (徐经纬), Undergraduate student (2017-2021), then Ph.D. Student at Shanghai Jiao Tong University
  9. Guoliang Qiu (邱国良), Undergraduate student (2016-2020), then Ph.D. Student at Shanghai Jiao Tong University
  10. Xiaoyu Chen (陈小羽), Undergraduate student (2016-2020), then Ph.D. Student at Nanjing University
  11. Ziyang Men (门子扬), Undergraduate student (2016-2020), then Master Student at University of Copenhagen
  12. Xinyu Wu (吴新雨), Master student (2020-2023), then joined Huawei Technologies Co., Ltd.
  13. Yuchao Song (宋宇超), Master student (2019-2022), then joined Huawei Technologies Co., Ltd.
  14. Shubei Wang (王书贝), Master student (2019-2022), then joined JD
  15. Shan Hu (胡珊), Master student (2019-2022), then joined Huawei Technologies Co., Ltd.
  16. Sen Huang (黄森), Master student (2018-2021), then joined Alibaba Group
  17. Chenwei Mu (穆宸炜), Master student (2018-2021), then joined Tencent Technology (Shenzhen) Co., Ltd.
  18. Wang Ke (柯旺), Master student (2018-2021), then joined Baidu Online Network Technology (Beijing) Co., Ltd.
  19. Zhenyu Guo (郭镇宇), Master student (2017-2020), then joined Pony.ai
  20. Jiaxing Ling (凌佳兴), Master student (2017-2020), then joined Huawei Technologies Co., Ltd.
  21. Weibo Lin (林维博), Master student (2016-2019), then joined Huawei Technologies Co., Ltd.
  22. Xuanbei Wang (王铉钡), Master student (2016-2019), then joined Huawei Technologies Co., Ltd.
  23. Jianan Zhang (张佳男), Master student (2015-2018), then joined Tencent Technology (Shenzhen) Co., Ltd.
  24. Yuqing Wang (王宇青), Master student (2015-2018), then joined Alibaba Group
  25. Shaowei Kou (寇绍威), Master student (2014-2017), then joined Baidu Online Network Technology (Beijing) Co., Ltd.
  26. Binglin Tao (陶冰琳), Ph.D. student (2018-2023).

Visitors

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