Professor of Computer Science
Education
- 2004, Doctoral Degree, University of Colorado Boulder
- 1999, Bachelor's Degree, Peking University
- 1996, Master's Degree, Peking University
Biography
Chao Wang is a Professor of Computer Science at the University of Southern California. His areas of expertise are software engineering and formal methods — he develops mathematically rigorous methods and tools for principled design of software to improve reliability, security and fairness. He has published a book, two edited books and more than 100 papers. He served on program committees of numerous conferences as well as the editorial board of IEEE Transactions on Software Engineering as an Associate Editor. He co-chaired two formal methods conferences (CAV 2020 and ATVA 2018). He won many 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 was a recipient of NSF CAREER award and ONR Young Investigator award.
Awards
- 2024 ESEC/FSE ACM SIGSOFT Distinguished Reviewer Award
- 2023 PLDI ACM SIGPLAN Distinguished Paper Award
- 2018 ESEC/FSE ACM Distinguished Paper Award
- 2013 US Office of Naval Research ONR Young Investigator (YIP) Award
- 2013 International Conference on Formal Methods in Computer-Aided Design FMCAD Best Paper Award
- 2012 US National Science Foundation NSF CAREER Award
- 2010 ACM SIGSOFT Symposium on the Foundations of Software Engineering ACM SIGSOFT Distinguished Paper Award
- 2008 ACM Transactions on Design Automation of Electronic Systems ACM TODAES Best Paper of the Year Award
Return to Faculty Directory
