Yueling Zhang

I'm a PhD student in East China Normal University, Shanghai, supervised by Professor Geguang Pu, and Professor Min Zhang. I mainly work in software verification and analyzing areas, especially SAT and SMT based verification. Now, I'm a visiting student in Princeton, hosted by Professor Aarti Gupta.


Working Experience


Active Project