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, M. Cimini, and D. Miller. A lightweight formalization of the meta-theory of bisimulation-up-to. Accepted to the ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP-4). Draft from December 2014. . This paper has a dedicated web-page.
- M. Southern and K. Chaudhuri. A Two-Level Logic Approach to Reasoning about Typed Specification Languages. Accepted to the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-34). Draft from October 2014. . This paper has a dedicated web-page.
- O. Savary-Bélanger and K. Chaudhuri. Automatically Deriving Schematic Theorems for Dynamic Contexts. Logical Frameworks and Meta-languages: Theory and Practice (LFMTP). ACM Proceedings. .
- K. Chaudhuri. Undecidability of Multiplicative Subexponential Logic. 3rd International Workshop on Linearity (reviews). To appear in EPTCS. .
- K. Chaudhuri and N. Guenot. Equality and Fixpoints in the Calculus of Structures. Joint meeting of the 23rd Computer Science Logic and the 29th Logic in Computer Science (CSL-LICS) (reviews). ACM Proceedings. . ©ACM
- K. Chaudhuri, S. Hetzl, and D. Miller. The Isomorphism Between Expansion Proofs and Multi-Focused Sequent Proofs. Journal of Logic and Computation. Official on-line version. . ©Oxford University Press
K. Chaudhuri. Subformula Linking as an Interaction Method. Conference on Interactive Theorem Proving (ITP-04), Rennes, France. LNCS 7998, pp. 386–401. . ©Springer
See also the associated tool: Profound (available from github).