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

github twitter email

Masters' Thesis on Verifying Array-Manipulating Programs. Worked with Mandayam K. Srivas
(Thesis, Slides)
[PDCAT 2017] "A deadline-partition oriented heterogeneous multi-core scheduler for periodic tasks" with Sanjay Moulik, Rajesh Devaraj, Arnab Sarkar

You can find my CV here .

Awards/Fellowships:

TCS Research Grant for Masters' Thesis.
Institute Fellowship for Postgraduate Studies at Chennai Mathematical Institute.

Experience:

Teaching Assistant for courses Data Mining and Machine Learning, Model Checking and Software Verification, both at CMI.

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