Return to Skip Menu

Main Content

Chao Wang

Associate Professor

Personal website

Research Interests:

  • Formal Methods in System Design

Recent Research Topics:

  • Concurrent Program Analysis and Verification
  • Embedded Software Verification
  • Hardware Design Verification

Teaching Interests:

  • Testing, Verification, Software engineering


  • Ph.D., University of Colorado at Boulder, 2004
  • M.S., Peking University, China,1999
  • B.S., Peking University, China, 1996


  • Early Adopter Award, NSF/IEEE-TCPP Curriculum Initiative for Parallel Programming 2014
  • Best Paper Nomination, Intl. Conf. Runtime Verification (RV) 2014
  • Best Paper Award, Intl. Conf. Formal Methods in Computer Aided Design (FMCAD) 2013
  • ONR Young Investigator (YIP) Award, Office of Naval Research 2013
  • Outstanding New Assistant Professor, Virginia Tech College of Engineering 2013
  • NSF Faculty Early CAREER Award, 2012
  • ACM SIGSOFT Distinguished Paper Award, 2010
  • ACM TODAES Best Journal Paper Award, 2008
  • ACM SIGDA Outstanding Ph.D. Dissertation Award, 2004

Recent Publications:

View other publications by typing his last name in the Search box on the Publications page.


  • (540) 231-6904
  • 302 Whittemore (0111)
    Dept. of Electrical and Computer Engineering, Virginia Tech
    Blacksburg, VA 24061

    CESCA Logo


CESCA Day 2016
April 23 (Sat)
Brush Mountain Room
Squires Student Center

Pictures:  main, posters

CESCA Student Awards
2016 Awardees

For New Graduate Students