Graduate Student , National University of Singapore
Visiting Graduate Student
Jiong Yang is a PhD student at School of Computing, National University of Singapore advised by Kuldeep S. Meel. He works on SAT solving and model counting for pseudo-Boolean constraints, verification of binarized neural networks, and neural symbolic reasoning. Before joining Meel Group, he received a BEng in Computer Science from Xi'an Jiaotong University in 2020.