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 (formal) methods to improve software safety, security and fairness. He has published a book, two edited books and more than 100 papers, and served on technical program committees of numerous conferences. He also served as an Associate Editor of IEEE Transactions on Software Engineering and co-chaired conferences in formal methods (CAV 2020 and ATVA 2018). He was a recipient of the U.S. National Science Foundation (NSF) CAREER award and Office of Naval Research (ONR) Young Investigator award. He also 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).