Arijit Shaw

Hi! I'm a joint PhD student at IAI, TCG CREST and Chennai Mathematical Institute. I am working with Kuldeep S. Meel at National University of Singapore and Nilanjan Dutta at TCG CREST.

My research interest lies in building better SAT and SMT solvers. Moreover, I look into using these solvers in solving cryptographic problems.

Earlier, in 2019-'20, I was an intern at Meel Research Group, National University of Singapore. Even before that, I used to study Theoretical Computer Science and work on Software Verification at Chennai Mathematical Institute, India.

ping arijit

Publications:

Tools:

Poster:

You can find my CV here .

Awards/Fellowships:

Experience:

I have a personal site, which I do not maintain, you can find it here.