[ 出版物 |办公室 |接触 |地址 ]

我在中国软件学院获得了博士学位2019年，美国科学院。我的研究课题包括SAT和SMT约束求解和求解计数。

2019年9月至2021年11月，我在JKU AI项目，在AI LIT项目中。