Logo: University of Southern California

Viterbi Faculty Directory

Chao Wang

Profile picture

Associate 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 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.

Awards


  • 2018 ESEC/FSE ACM Distinguished Paper Award
  • 2013 International Conference on Formal Methods in Computer-Aided Design FMCAD Best Paper Award
  • 2013 US Office of Naval Research ONR Young Investigator (YIP) 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
Appointments
  • Computer Science

Office
  • SAL SAL 344
  • Henry Salvatori Computer Science Center
  • 941 Bloom Walk, Los Angeles, CA 90089
  • USC Mail Code: 781

Contact Information
  • wang626@usc.edu

Websites

Return to Faculty Directory