[  publications | office | contact | address ]

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.