Scholar
Arijit Shaw
Google Scholar ID: YG9gqKcAAAAJ
Chennai Mathematical Institute
Citations & Impact
Citations
35
H-index
3
i10-index
1
Publications
15
Co-authors
7
list available
Publications
Resume (English only)
Academic Achievements
- Publications: Published multiple papers at conferences such as KR'25, DAC'25, SMT'24, AAAI'24. Awards: Not explicitly mentioned. Patents: Not explicitly mentioned. Projects: Involved in several research projects related to SMT.
Research Experience
- Work Experience: Currently a visiting scholar at Georgia Institute of Technology. Research Projects: Developed volume computing tool for SMT LRA formulas (KR’25, ttc), counting tools for hybrid SMT formulas (DAC’25, pact), bit-vectors formulas (SMT’24, csb), and Skolem functions (AAAI’24, SkolemFC). Position: Joint PhD student.
Education
- Degree: PhD; Schools: Chennai Mathematical Institute and IAI, TCG CREST; Advisor: Kuldeep S. Meel; Time: Current; Major: Not specified.
Background
- Research Interests: Automated Reasoning, Satisfiability Modulo Theories (SMT). Professional Field: Extending SMT solvers to answer quantitative queries and developing techniques for sampling from SMT solution spaces. Brief Introduction: Interested in understanding the inner workings of automated reasoning systems.
Miscellany
- Personal Interests: Enthusiastic about seeing his research make real-world impact, particularly in verifying AI systems (examining robustness and fairness properties), software verification, and analysis of cyber-physical systems.
