The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)

Jingbo Wang

 Jingbo Wang

Title

Assistant Professor 

Education

Ph.D.Computer Science University of Southern California (2023)
BS Computer Science Huazhong University of Science and Technology (2017) 

Research Areas

Formal Methods, Neural Networks 

Key Areas

software engineering and formal methods 

Notable Experience

Postdoctoral Researcher. - The University of Texas at Austin 

Notable Awards

Distinguished Paper Award of PLDI (2023)
MIT EECS Rising Star (2021)
WiSE Merit Award (2021) 

Biography

My 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. I will be a Postdoctoral Researcher in the Department of Computer Science at University of Texas, Austin, working with Professor Isil Dillig. I obtained my PhD in Computer Science from the University of Southern California in 2023, where I worked with Professor Chao Wang.