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 am the recipient of 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 am on the technical program committees of DaForum'08, DaForum'07 (ACM SIGDA PhD Forum), CFV'07 (Constraints in Formal Verification) SAC'07 (ACM Symposium on Applied Computing), MSVVEIS’08, MSVVEIS'07 (Modelling, Simulation, Verification and Validation of Enterprise Information Systems), CFV'06 (Constraints in Formal Verification) 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.