I am a researcher at NEC Labs in Princeton, working in the System Analysis and Verification group. I received my Ph.D. in Electrical and Computer Engineering from University of Colorado at Boulder in 2004.

My current research is on formal specification and verification of concurrent systems, with an emphasis on improving the capacity of model checking techniques and promoting their applications to the design of real-world systems (hardware, software, and embedded systems). My research interests also include programming languages, software engineering, constraint solvers, and electronic design automation.

I organized a tutorial on embedded software verification in ICCAD 2008 (slides: preface , part-1 , part-2 , part-3 ).

I received the 2003-2004 ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation. My book, Abstraction Refinement for Large Scale Model Checking (co-authored with Gary Hachtel and Fabio Somenzi), was published by Springer in 2006. ISBN-10: 0-387-34155-2 (XIV, 186 p., 40 illus., Hardcover).

I received the 2008 ACM TODAES Best Paper Award. The article is on software verification (co-authored with Zijiang Yang, Franjo Ivancic and Aarti Gupta).

Recent professional activities (TPC):

• ICCD 2009 (International Conference on Computer Design)
• DaForum 2009 (ACM SIGDA Ph.D. Forum at DAC), DaForum 2008, and DaForum 2007
• SSV 2009 (Workshop on System Software Verification)
• NSV 2008 (Workshop on Numerical Abstractions for Software Verification) co-organizer
• CFV 2007 (Workshop on Constraints in Formal Verification), and CFV 2006
• SAC 2007 (ACM Symposium on Applied Computing)
• SVV 2005 (Workshop on Software Verification and Validation)

• (Old) home at CU-Boulder: http://vlsi.colorado.edu/~wangc