Jingbo Wang
Postdoctoral Research Fellow
Jingbo Wang's research focuses on the intersection of software engineering and formal methods, emphasizing rigorous program analysis and synthesis techniques to enhance software system security, robustness, and fairness. Before becoming a Postdoctoral Researcher in UT Austin's Department of Computer Science, she earned her PhD in Computer Science from the University of Southern California in 2023.
Research
Research Areas: