Jiong Yang


I am a PhD student at School of Computing, National University of Singapore advised by Kuldeep S. Meel.

I work on SAT solving and model counting for pseudo-Boolean constraints, verification of binarized neural networks, and neural symbolic reasoning.

Before joining Meel Group, I received a BEng in Computer Science from Xi'an Jiaotong University in 2020.

Please find more details in my CV.