Profile picture

Chao Wang

Associate Professor of Computer Science


  • 2004, Doctoral Degree, University of Colorado Boulder
  • 1999, Bachelor's Degree, Peking University
  • 1996, Master's Degree, Peking University


Chao Wang is an Associate Professor of Computer Science at the University of Southern California. He published a book and more than eighty papers. He is an Associate Editor of IEEE Transactions on Software Engineering. He received the ONR Young Investigator award in 2013 and the NSF CAREER award in 2012. He also received numerous best paper awards, including the ACM SIGSOFT Distinguished Paper award (2018 and 2010), the FMCAD Best Paper award (2013) and the Best Paper of the Year award from ACM TODAES (2008).

Research Summary

His research is in software engineering and formal methods, with emphasis on logic, verification and automated reasoning. He develops techniques for principled design of software systems to improve safety and security.


  • 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
  • Thomas Lord Department of Computer Science
  • SAL SAL 344
  • Henry Salvatori Computer Science Center
  • 941 Bloom Walk, Los Angeles, CA 90089
  • USC Mail Code: 781
Contact Information