معرفی
Kaustuv Chaudhuri is a Research Scientist at Inria (Saclay) in the project-team PARTOUT. His work focuses on proof theory and automated theorem proving, particularly in linear logic and formal verification.
- PhD from Carnegie Mellon University (2006)
- Active in program committees for conferences like TABLEAUX, FroCoS, LFMTP
His research explores foundational aspects of logical frameworks, including focused proof systems, hybrid linear logic, and distributed proof verification. Recent work emphasizes heterogeneous verification platforms and distributed assertions.
Key publication trends include: proof certification, substructural logics, and computational interpretations of logic. His technical reports and conference papers often bridge theoretical proof systems with practical verification tools like Abella.
Chaudhuri contributes to the meta-theory of sequent calculi and develops systematic approaches to canonicity in classical logic. He organizes workshops and participates in international collaborations.
