I received my Ph.D. degree in Electrical Engineering from Uiversity of Colorado at Boulder in July 2004.

My research is in formal specification and verification of concurrent systems. I am interested in improving the capacity of model checking techniques and promoting their applications to the design of real-world systems (hardware, software, embedded systems, etc.).

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 D. 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 for an article on software verification (announcement, the paper).

I am on the technical program committees of DaForum’08, DaForum'07 (ACM SIGDA PhD Forum),NSV'08 (Numerical Abstractions for Software Verification), CFV'07 , CFV'06(Constraints in Formal Verification) SAC'07 (ACM Symposium on Applied Computing), MSVVEIS’08, MSVVEIS'07 (Modelling, Simulation, Verification and Validation of Enterprise Information Systems), and SVV'05 (Software Verification and Validation).

I review verification and design automation papers for CAV, DAC, ICCAD, FMCAD, DATE, HLDVT, J. FMSD, STTT, IEEE T-CAD, etc.