Research Scientist (French: chargé de recherche)
1 rue Honoré d’Estienne d’Orves
Campus de l’École Polytechnique
91120 Palaiseau, France (map)
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. .