Research Scientist (French: chargé de recherche)
Project Parsifal, INRIA Saclay - Île-de-France
Laboratoire d’Informatique (LIX), École Polytechnique,
Route de Saclay,
91128
Palaiseau CEDEX,
France (map)
#412.28 in the prefab (directions)
+33 1 69 33 41 24 (voice)
+33 1 69 33 40 49 (fax)
kaustuv@chaudhuri.info
(PGP key)
Recent papers and drafts
- K. Chaudhuri, N. Guenot, and L. Straßburger. The Focused Calculus of Structures. Computer Science Logic (CSL-20), Bergen, Norway. LIPICS v.12, pp. 159–173. .
- K. Chaudhuri. Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-17), Yogyakarta, Indonesia. LNCS 6397, pp. 202–216. . ©Springer
- K. Chaudhuri. Classical and Intuitionistic Subexponential Logics are Equally Expressive. Computer Science Logic (CSL-19), Brno, Czech Republic. LNCS 6247, pp. 185–199. . ©Springer
all publications