Arijit Shaw

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

PhD student
Computer Science, Chennai Mathematical Institute (cmi.ac.in)
2020 – 2026
 

Advisors, Relations & Conflicts

PhD Advisor
2020 – 2026
 

Expertise

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