chaudhuri.info - Kaustuv Chaudhuri

home > domains > chaudhuri.info

Description: Kaustuv Chaudhuri's publications, software, and other professional work

Example domain paragraphs

Research scientist ( chargé de recherche ), Inria Lecturer adjunct ( chargé d’enseignement ), Dept. of Computer Science (DIX), École polytechnique

Project Parsifal , Inria Saclay - Île-de-France Office #2051, Alan Turing Building

1 rue Honoré d’Estienne d’Orves Campus de l’École Polytechnique 91120 Palaiseau, France ( map )

Links to chaudhuri.info (2)

• lfmtp.org LFMTP: Logical Frameworks and Meta Languages: Theory and Practice. | LFMTP
• abella-prover.org Abella