Arijit Shaw

Junior Research Fellow, IAI-TCG CREST

In technical terms, I work in designing SAT solvers and SMT counters. My contributions should aid automated reasoning techniques being used in different real-world environments: from cryptography to computational biology, AI and software verification.

My primary research focus is on designing practical tools for constrained counting, a problem that lies beyond Nondeterministic Polynomial (NP) time complexity. I also look at solving the fundamental problem in NP: satisfiability (SAT). 

My Ph.D. advisor is Dr. Kuldeep S. Meel, assistant professor at National University of Singapore.

Education:

I did my post graduation in Computer Science from Chennai Mathematical Institute, after my graduation in Computer Science and Engineering from Jadavpur University, Kolkata. I was at School of Computing, National University of Singapore before joining IAI.

Achievements:

Our SAT solver entry won 3rd place in the Main Track of the highly prestigious and competitive SAT competition 2020, also it took second prize in EDA Challenge, 2021.


Contact: arijitsh.github.io (webpage), if.arijit@gmail.com (e-mail)