Research Scientist (French: chargé de recherche)
INRIA Saclay - Île-de-France
Laboratoire d’Informatique (LIX) de l’École Polytechnique
Route de Saclay, 91128 Palaiseau Cedex, France (directions)
+33 1 69 33 41 24 (voice)
+33 1 69 33 40 49 (fax)
kaustuv@lix.polytechnique.fr
Recent papers and drafts
- K. Chaudhuri and J. Despeyroux, A Logic for Constrained Process Calculi with Applications to Molecular Biology. INRIA. Technical Report. May 2009.
- K. Chaudhuri, Focusing Strategies in the Sequent Calculus of Synthetic Connectives. Logic for Programming, Artificial Intelligence and Reasoning (LPAR-15), Doha, Qatar. Springer-Verlag LNCS 5330, pp. 467–481. November 2008.
- K. Chaudhuri, D. Doligez, L. Lamport and S. Merz, A TLA+ Proof System. Workshop on Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA). CEUR Workshop Proceedings 418, pp. 17–37. November 2008.
- K. Chaudhuri, D. Miller and A. Saurin, Canonical Sequent Proofs via Multi-Focusing. IFIP International Conference on Theoretical Computer Science (TCS-5), Milan, Italy. IFIP 273, pp. 383–396. September 2008.
- K. Chaudhuri, F. Pfenning and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method. Journal of Automated Reasoning, 40(2–3), pp. 133–177. 2008.