| CARVIEW |
Select Language
HTTP/2 200
last-modified: Thu, 04 Dec 2025 13:12:16 GMT
etag: "29ed-6452013f05eb8-gzip"
accept-ranges: bytes
cache-control: max-age=600
expires: Fri, 16 Jan 2026 11:27:22 GMT
vary: Accept-Encoding,User-Agent
content-encoding: gzip
content-length: 3067
content-type: text/html
date: Fri, 16 Jan 2026 11:17:22 GMT
server: Apache
Kaustuv Chaudhuri
Research Scientist at Inria (Saclay) in the project-team PARTOUT.
Office #2062, Alan Turing Building
1 rue Honoré d'Estienne d'Orves
Campus de l'Ecole Polytechnique
91120 Palaiseau, France (directions)
Campus de l'Ecole Polytechnique
91120 Palaiseau, France (directions)
+33 1 74 85 42 24 (voice)
Recent Events (full list)
- TABLEAUX+FroCoS 2025: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) + International Symposium on Frontiers of Combining Systems (FroCoS) (Joint Invited Speaker)
- LFMTP 2025: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (PC co-chair with D. Nantes-Sobrinho)
- 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)
Recent Papers and Drafts (full list)
- K. Chaudhuri, A. Gantait and D. Miller. Designing a Safe Forward Chaining Tactic using Productive Proofs. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). To appear. 2025. HAL
- 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. DOI HAL
- 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. DOI HAL
- F. Al Wardani, K. Chaudhuri and D. Miller. Distributing and trusting proof checking a preliminary report. Technical Report. 2023. HAL
- K. Chaudhuri, P. Donato, L. Massacci and B. Werner. Certifying Proof-By-Linking. Technical Report. 2022. HAL