Chao Wang is a Professor of Computer Science at University of Southern California. His research interests are in software engineering and formal methods, with emphasis on logic, verification and automated reasoning. He published a book, two edited books, and more than 100 papers. He chaired the program committees of CAV 2020 and AVTA 2018, and served on the program committees of conferences such as ICSE, FSE, ASE, and ISSTA. He received the U.S. Office of Naval Research (ONR) Young Investigator award, National Science Foundation (NSF) CAREER award, and best paper awards including ACM SIGSOFT Distinguished Paper award and ACM SIGPLAN Distinguished Paper award.