Chao Wang

  Short Biography


Chao Wang is an Associate Professor of Computer Science at the University of Southern California. He received his PhD degree 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 of Electrical and Computer Engineering at Virginia Tech.

His research is in software engineering and formal methods. He focuses on developing methods and analysis tools for improving the safety and security of software. Of particular interest are the emerging software applications in cyber physical systems (CPS) and the Internet of Things (IoT).

He published a book and more than seventy research papers, many of which appeared in top 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 Transactions on Design Automation of Electronic Systems in 2008, NEC Labs of America Technology Commercialization Award in 2006, and ACM Outstanding PhD Dissertation award in Electronic Design Automation in 2004.

Curriculum Vitae