I've been working for Calypto
Design Systems, Santa Clara, CA, a formal equivalence checking
(plus other things) startup since October 2004. Send me an email
[firstname].[lastname]@[my company name].com if you want to get in
touch with me.
Here's my public PGP Key.
Thesis Oral: Click here.
Thesis Proposal: Click here.
Research Interests:
Improving the efficiency of model checking through better image computation algorithms, SAT based counterexample guided abstraction refinement and symbolic simulation through reparameterization.
My more detailed academic web page is here.