Research Scientist (French: chargé de recherche)
Project Parsifal, INRIA Saclay - Île-de-France
Office #2059, Alan Turing Building
1 rue Honoré d’Estienne d’Orves
Campus de l’École Polytechnique
91120
Palaiseau,
France (map)
+33 1 74 85 42 24 (voice)
kaustuv@chaudhuri.info
(PGP key)
Recent papers and drafts
- K. Chaudhuri. Equality and Fixpoints in the Calculus of Structures. Draft manuscript. .
- K. Chaudhuri. Subformula Linking as an Interaction Method. Conference on Interactive Theorem Proving (ITP-04), Rennes, France. . ©Springer
See also the associated tool: Profound (available from github). - K. Chaudhuri, and J. Despeyroux. A Hybrid Linear Logic for Constrained Transition Systems. Types for Proofs and Programs (TYPES-19), Toulouse, France. .
- K. Chaudhuri, S. Hetzl, and D. Miller. The Isomorphism Between Expansion Proofs and Multi-Focused Sequent Proofs. Draft manuscript. .