Chao Wang

  Short Biography


Chao Wang is an Associate Professor of Computer Science at University of Southern California. He received his PhD from University of Colorado at Boulder. From 2004 to 2011, he was a Research Staff Member at NEC Laboratories of America, Inc. in Princeton, NJ. From 2011 to 2016, he was an Assistant Professor at Virginia Tech.

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.

He published a book and more than eighty papers, many of which appeared in top venues of his field. He served on the technical program committees of many flagship conferences; currently he is serving on the Editorial Board of IEEE Transactions on Software Engineering as an Associate Editor. He received the ONR Young Investigator award in 2013 and the NSF CAREER award in 2012. He also received the ACM SIGSOFT Distinguished Paper award in 2018 and 2010, the FMCAD Best Paper award in 2013, the Best Paper of the Year award from ACM Transactions on Design Automation of Electronic Systems in 2008, the NEC Labs of America Technology Commercialization Award in 2006, and the ACM SIGDA Outstanding PhD Dissertation award in 2004.

Curriculum Vitae