Arijit Shaw

Researcher, Georgia Institute of Technology
PhD student, Computer Science, Chennai Mathematical Institute
Joined
August 2024

Names

Arijit Shaw (Preferred)

Emails

****@cmi.ac.in (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher
Georgia Institute of Technology (gatech.edu)
2025 – 2026
PhD student
Computer Science, Chennai Mathematical Institute (cmi.ac.in)
2020 – 2026
Researcher
University of Toronto (utoronto.ca)
2024 – 2025

Advisors, Relations & Conflicts

PhD Advisor
Kuldeep S. Meel
2020 – 2026

Expertise

SAT Solving
Present
SMT Solving
Present
Verification
Present
Automated Reasoning
2020 – 2029
Formal Methods
2020 – 2026

Publications

Co-Authors