I am a doctoral student in the Partout team of LIX, the computer science lab of Ecole Polytechnique. I am advised by Dale Miller and Kaustuv Chaudhuri. I currently work on proof search, and study how various proof search strategies arise naturally out of the behaviour of suitably designed proof systems, especially focused proof systems.
Publications
Conference papers
Automating Proof Search when Equality is a Logical Connective
International Joint Conference on Automated Reasoning (IJCAR) (2026)
Designing a Safe Forward Chaining Tactic Using Productive Proofs
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) (2025)
Talks
Automating Proof Search when Equality is a Logical Connective
IJCAR 2026, Lisbon
Designing a Safe Forward Chaining Tactic Using Productive Proofs
TABLEAUX 2025, Reykjavik
Education
- PhD at Ecole Polytechnique (ongoing)
- Master of Science (M. Sc) in Computer Science at Chennai Mathematical Institute (CMI) (Aug 22 - Jul 24)
- Bachelor of Statistics (B. Stat) at Indian Statistical Institute (ISI) (Jul 19 - May 22)
Teaching
- Computer Programming (Spring 2026)