Chao Wang is a Professor of Computer Science at the University of Southern California (USC). His areas of expertise are software engineering and programming languages, with an emphasis on developing mathematically rigorous methods (formal methods) to improve software safety, security and fairness. He has published a book, two edited books and more than 100 papers. He is a recipient of the U.S. National Science Foundation (NSF) CAREER award and Office of Naval Research (ONR) Young Investigator award. He has received many conference/journal awards, including ACM SIGSOFT Distinguished Reviewer award (ESEC/FSE 2024), ACM SIGPLAN Distinguished Paper award (PLDI 2023), ACM SIGSOFT Distinguished Paper awards (ESEC/FSE 2018 and FSE 2010), FMCAD Best Paper award (2013), and Best Journal Paper of the Year award from ACM TODAES (2007). He has served on the program committees of numerous conferences and as an Associate Editor of IEEE Transactions on Software Engineering, and has co-chaired two conferences in formal methods (CAV 2020 and ATVA 2018).