Associate Professor of Computer Science
- 1996, Bachelors, Peking University
- 2004, PhD, University of Colorado at Boulder
- 1999, Masters, Peking University
Chao Wang is an Associate Professor of Computer Science at the University of Southern California. He received his PhD from University of Colorado at Boulder in 2004. From 2004 to 2011, he was a Research Staff Member at NEC Laboratories of America. From 2011 to 2016, he was an Assistant Professor at Virginia Tech. He published a book and more than 70 papers, many of which appeared in flagship venues of his field. He received the ONR Young Investigator award in 2013 and the NSF CAREER award in 2012. He also received the FMCAD Best Paper award in 2013, ACM SIGSOFT Distinguished Paper award in 2010, Best Paper of the Year award from ACM TODAES in 2008, NEC Labs of America Technology Commercialization Award in 2006, and ACM SIGDA Outstanding PhD Dissertation award in 2004.
His research is in software engineering and formal methods, with emphasis on logic, verification, and automated reasoning. He develops methods and tools for improving the safety and security of critical systems. Of particular interest are the emerging software applications in cyber physical systems (CPS) and the Internet of Things (IoT).
- 2008 ACM Transactions on Design Automation of Electronic Systems ACM TODAES Best Paper of the Year Award
- 2010 ACM SIGSOFT Symposium on the Foundations of Software Engineering ACM SIGSOFT Distinguished Paper Award
- 2012 US National Science Foundation NSF CAREER 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
Return to Faculty Directory