Chao Wang is an Associate Professor of Computer Science at the University of Southern California. His areas of expertise are software engineering and formal methods — he develops rigorous methods and tools for principled design of software systems to improve reliability, security and fairness. He has published a book, two edited books and more than 100 papers. He has also served on program committees of numerous conferences as well as the editorial board of IEEE Transactions on Software Engineering as an Associate Editor. He has co-chaired two formal methods conferences (CAV 2020 and ATVA 2018).
His research has won many awards including ACM SIGPLAN Distinguished Paper award (PLDI 2023), ACM SIGSOFT Distinguished Paper awards (FSE 2018 and FSE 2010), FMCAD Best Paper award (2013), and Best Journal Paper of the Year award from ACM TODAES (2007). He was a recipient of NSF CAREER award and ONR Young Investigator award.