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