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