Research scientist (chargé de recherche) at Inria
Project Partout, Inria Saclay - Île-de-France
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 Grants
- Exploratory Action IMPROOF (2023–2026)
- Labex Digicosme LFAT (2019–2022)
- Inria Associate Team RAPT (2011–2013)
Recent papers and drafts (full list)
- F. Al Wardani, K. Chaudhuri, and D. Miller. About Trust and Proof: An experimental framework for heterogeneous verification. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II. LNCS 14871, pp. 162–183. 2024. ©Springer
- F. Al Wardani, K. Chaudhuri, and D. Miller. Formal Reasoning using Distributed Assertions. International Symposium on Frontiers of Combining Systems (FroCoS). LNCS 14279, pp. 176–194. 2023. ©Springer
- K. Chaudhuri, P. Donato, L. Massacci, and B. Werner. Certifying Proof-By-Linking. INRIA. Technical Report HAL-04317972. 2022.
- K. Chaudhuri. Subformula Linking for Intuitionistic Logic with Application to Type Theory. International Confernce on Automated Deduction (CADE). LNCS 12699, pp. 200–216. 2021. ©Springer
- K. Chaudhuri, J. Despeyroux, C. Olarte, and E. Pimentel. Hybrid linear logic, revisited. Mathematical Structures in Computer Science. 29(8), pp. 1151–1176. 2019.
- K. Chaudhuri, L. Lima, and G. Reis. Formalized Meta-Theory of Sequent Calculi for Substructural Logics. Theoretical Computer Science. 781, pp. 651–666. 2019.
- K. Chaudhuri, M. Manighetti, and D. Miller. A proof-theoretic approach to certifying skolemization. ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP). ACM Digital Library. April 2019. Supplementary code
- K. Chaudhuri. Expressing Additives Using Multiplicatives and Subexponentials. Mathematical Structures in Computer Science. 28(5). 2018.
Recent events (full list)
- PPDP 2024: International Conference on the Principles and Practices of Declarative Programming (PC Member)
- LFMTP 2024: International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (PC Member)
- TABLEAUX 2023: International Conference on Tableaux and Related Systems (PC Member)
- IJCAR 2022: International Joint Conference on Automated Reasoning (PC Member)
- LFMTP 2022: International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (PC Member)
- TABLEAUX 2021: International Confernce on Automated Reasoning with ANalytic Tableaux and Related Methods (PC Member)
- IJCAR 2020: International Joint Conference on Automated Deduction (Conference chair)
- LICS 2019: ACM/IEEE Symposium on Logic in Computer Science (PC member)
Recent courses (full list)
- CSE 302: Compiler Design, Instructor, Spring 2019-2023, Bachelor Program @ École polytechnique
- CSE 102: Computer Programming, Instructor, Spring 2018-2019, Bachelor Program @ École polytechnique
- INF 441: Programmation avancée (Advanced Programming), TD, Spring 2017-2018, Engineering Program @ École polytechnique