SAL 339, 941 Bloom Walk
Los Angeles, CA 90089, USA

Jingbo Wang is a Ph.D. candidate in the Department of Computer Science at the University of Southern California, working with Prof. Chao Wang. Her research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, and fairness of software systems. Prior to joining USC, she worked with Prof. John Hopcroft at Cornell University and Prof. Kun He at Huazhong University of Science and Technology. She received the USC WiSE Merit award and has been invited to the MIT EECS Rising Star Workshop.

Contact: jingbow@usc.edu

[Update 2023] I am on the job market for a faculty position.