Arijit Shaw

Hi! I'm currently an Research Intern at School of Computing, National University of Singapore, working with Kuldeep S. Meel at Meel Research Group.

Currently I am working on building better SAT solvers. Before this, I used to study Theoretical Computer Science and work on Software Verification at Chennai Mathematical Institute, India.

ping arijit
You can find my CV here .



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