Pankaj Chauhan's Old CMU SCS Webpage

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.

Pankajkumar Chauhan
Last modified: Wed Jun 20 17:11:18 EDT 2007