Research Scientist, Inria (French: chargé de recherche)
Lecturer (parttime), École polytechnique (French: chargé d’enseignement)
Project Parsifal, Inria Saclay  ÎledeFrance
Office #2051, 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 events
 LSFA 2016: Workshop on Logical and Semantic Frameworks, with Applications (invited speaker)
 WoF 2015: International Workshop on Focusing (PC member)
 FICS 2015: International Workshop on Fixed Points in Computer Science (PC member)
 Abella Tutorial @ CADE 2015 (Coorganizer with G. Nadathur)

LFMTP 2015: Logical Frameworks and MetaLanguages: Theory and Practice (PC cochair with I. Cervesato)
I. Cervesato and K. Chaudhuri. Proceedings of the 10th International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice (LFMTP). EPTCS v.185. August 2015.  CPP 2015: ACMSIGPLAN Conference on Certified Programs and Proofs (PC member)
 LFMTP 2014: Logical Frameworks and MetaLanguages: Theory and Practice (PC member)
 LINEARITY 2014: International Workshop on Linearity (PC member)
 SD 2014: International Workshop on Structures and Deduction (PC cochair with L. Straßburger and W. Heijltjes)
 ICLP 2014: International Confernece on Logic Programming (PC member)
Recent papers and drafts
 K. Chaudhuri, L. Lima, and G. Reis. Formalized MetaTheory of Sequent Calculi for Substructural Logics. Accepted to the Workshop on Logical and Semantic Frameworks, with Applications (LSFA11), Porto, Portugal. Draft of April 2016. June 2016.
 K. Chaudhuri, S. Marin, and L. Straßburger. Modular Focused Proof Systems for Intuitionistic Modal Logics. Accepted to Formal Structures for Computation and Deduction (FSCD1), Porto, Porgugal. To appear in the LIPIcs series. June 2016.
 K. Chaudhuri, S. Marin, and L. Straßburger. Focused and Synthetic Nested Sequents. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS19), Eindhoven, Netherlands. LNCS 9634. April 2016. ©Springer. The official proceedings version is full of mistakes introduced by Springer’s “copyeditors” and we strongly recommend reading the authors’ versions instead. Technical report with full proofs.
 K. Chaudhuri. Encoding Additives Using Multiplicatives and Subexponentials. To appear in Mathematical Structures in Computer Science. Draft of August 2015. 2016.
 K. Chaudhuri and G. Reis. An adequate compositional encoding of bigraph structure in linear logic with subexponentials. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR20), Suva, Fiji. LNCS 9450, pp. 146–161. November 2015. ©Springer
 T. BrockNannestad and K. Chaudhuri. Disproving Using the Inverse Method by Iterated Refinement of Finite Approximations. Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX24), Wrocław, Poland. LNCS 9323, pp. 153–168. September 2015. ©Springer. See the associated theorem prover, Mætning.
 Y. Wang and K. Chaudhuri. A ProofTheoretic Characterization of Independence in Type Theory. International Conference on Typed Lambda Calculi and Applications (TLCA13), Warsaw, Poland. LIPIcs v.38, pp. 332–346. July 2015. This paper has a dedicated webpage.
Recent courses
 INF 321: Les principes des langages de programmation (Principles of Programming Languages), TD, Spring 2015, École polytechnique
 INF 431: Programmation d’applications concurrentes et distribuées (Concurrent and Distributed Programming), TD, Spring 2015, École polytechnique
 INF 321: Les principes des langages de programmation (Principles of Programming Languages), TD, Spring 2014, École polytechnique