|
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.
|