I received my Ph.D. degree in Institute of Software, Chinese Academy of Sciences in 2019. My research topics include SAT and SMT constraints solving and solution counting.

From September 2019 to November 2021, I was working within the JKU AI Project, in the AI LIT project.

Office

Science Park 3, 2nd Floor, North-East Wing (2D) Room 0257

Contact

cunjing.ge@jku.at
http://fmv.jku.at/gcj

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria