Write a Blog >>
Chao Wang

Registered user since Sun 24 May 2015

Name:Chao Wang

Chao Wang is an Associate Professor of Computer Science at University of Southern California. He received his PhD degree from University of Colorado at Boulder in 2004, worked as a Research Staff Member at NEC Labs from 2004 to 2011, and an Assistant Professor at Virginia Tech from 2011 to 2016. His research is in software engineering and formal methods, with focus on developing methods and tools for improving the safety and security of software. He has published a book and more than 70 papers. He received an ONR Young Investigator award in 2013 and an NSF CAREER award in 2012. He also received the FMCAD Best Paper award in 2013, ACM SIGSOFT Distinguished Paper award in 2010, ACM TODAES Best Journal Paper of the Year award in 2008, NEC Labs of America Technology Commercialization Award in 2006, and ACM SIGDA Outstanding PhD Dissertation award in 2004.

Country:United States
Affiliation:University of Southern California
Research interests:concurrency, formal verification, program synthesis, embedded security


Show activities from other conferences

ISSTA 2017-profile
View general profile