avatar

Cunjing Ge

葛存菁

Postdoc
AI School, Nanjing University
 gecunjing@nju.edu.cn
 Room A513, Shao Yifu Building (逸夫楼), Xianlin Campus, 163 Xianlin Avenue, Qixia District, Nanjing 210023, China


About Me

I am a Postdoc (Yuxiu Young Scholar) in the School of Artificial Intelligence at Nanjing University. I obtained my Bachelor's degree in Computational Mathematics from the University of Science and Technology of China in 2013. In 2019, I received my Ph.D. degree in Computer Software and Theory from the Institution of Software, Chinese Academy of Sciences, advised by Prof. Jian Zhang. From 2019 to 2021, I joined the FMV group, Johannes Kepler Universität Linz, Austria, and worked with Prof. Armin Biere, as a postdoctoral researcher. In 2021, I was selected by Yuxiu Young Scholars Program of Nanjing University, and then joined the School of Artificial Intelligence.

Research Interests

致2024年南京大学人工智能学院夏令营营员: 欢迎对自动推理约束求解、反绎学习 (ABL) 感兴趣的,且有志于从事科研工作的营员报考我的研究生。可与我通过邮件联系,并附上个人简历以及研究兴趣说明。

For prospective students: We are currently working on some exiting topics, such as, counting solutions of linear inequalities, reducing the knowledge constraints in ABL, and obtaining explainable and trustworthy AI models by ABL. If you are self-motivated and passionate about these research topics, feel free to contact me via email.

Teaching

Ongoing Projects

Publications

  1. Cunjing Ge, Armin Biere
    The 30th International Conference on Principles and Practice of Constraint Programming (CP), 2024, Girona, Spain.

  2. Cunjing Ge
    The 38th AAAI Conference on Artificial Intelligence (AAAI), 2024, Vancouver, Canada, page. 8022-8029.

  3. Cunjing Ge, Armin Biere
    The 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021, Montreal, Canada, page. 1389-1395.

  4. Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma and Jian Zhang
    Theory and Applications of Satisfiability Testing (SAT), 2021, Barcelona, Spain, page. 270-279.

  5. Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
    The 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019, Macao, China, page. 1697-1703.

  6. Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
    The 2019 on International Symposium on Symbolic and Algebraic Computation (ISSAC), 2019, Beijing, China, page. 203-210.

  7. Martin Aleksandrov, Cunjing Ge, Toby Walsh
    The 19th EPIA Conference on Artificial Intelligence (EPIA), 2019, Vila Real, Portugal, page. 593-605.

  8. Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
    Automated Reasoning - 9th International Joint Conference (IJCAR), Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, page. 312-328.

  9. Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
    Automated Reasoning - 9th International Joint Conference (IJCAR), Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, page. 354-369.

  10. Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang
    Theoretical Computer Science (TCS), 2018, vol. 743, page. 110-129.

  11. Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang
    The 20th International Conference on Formal Engineering Methods (ICFEM), 2018, Gold Coast, QLD, Australia, page. 388-403.

  12. Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
    Languages and Compilers for Parallel Computing - 28th International Workshop (LCPC), 2015, Raleigh, NC, USA, page. 287-302.

  13. Cunjing Ge, Feifei Ma
    Frontiers in Algorithmics - 9th International Workshop (FAW), 2015, Guilin, China, page. 52-65.

Submitting Papers

Academic Services

Program Committee Members

Journal Reviewers