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.


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.


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: (webpage), (e-mail)