Kaustuv Chaudhuri

Research Scientist, Inria (French: chargé de recherche)
Lecturer (part-time), École polytechnique (French: chargé d’enseignement)

Project Parsifal, Inria Saclay - Île-de-France
Office #2059, 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)
(PGP key)

Recent events

  • FICS 2015: International Workshop on Fixed Points in Computer Science (PC member)
  • LFMTP 2015: Logical Frameworks and Meta-Languages: Theory and Practice (PC co-chair)
  • CPP 2015: ACM-SIGPLAN Conference on Certified Programs and Proofs (PC member)
  • LFMTP 2014: Logical Frameworks and Meta-Languages: Theory and Practice (PC member)
  • SD 2014: International Workshop on Structures and Deduction (PC co-chair)
  • ICLP 2014: International Confernece on Logic Programming (PC member)
  • CSL-LICS 2014 (Publicity co-chair)

Recent papers and drafts

Recent courses

  • INF 321: Les principes des langages de programmation (Principles of Programming Languages), TD, Spring 2015, École polytechnique
  • INF 431: Programmation d’applications concurrentes et distribuées (Concurrent and Distributed Programming), TD, Spring 2015, École polytechnique
  • INF 321: Les principes des langages de programmation (Principles of Programming Languages), TD, Spring 2014, École polytechnique
Last compiled at: