Équipe thématique Pôle Preuves, programmes et systèmes Programmes et Langages (PL) Responsable Jean Krivine Thèmes de recherche L'équipe thématique « Programmes et Langages » (PL) recouvre les activités du pôle PPS ayant pour objet premier la conception de programmes, protocoles ou langages de programmation fondés ou modélisés par des outils théoriques pour la plupart étudiés dans le pôle, avec pour objectif la convergence de la pratique d'ingénieur et de l’informatique fondamentale. Une liste, non exhaustive, de nos centre d’intérêts et contributions est: La conception de langages de programmation généralistes ou dédiés: Programmation fonctionelle (Ocaml), Concurrente (Elixir), Synchrone (Heptagon) et probabiliste (ProbZelus) Coq (assistant à la preuve) et les applications de coq à la vérification logicielle ou l’enseignent des mathématiques, Cduce (langage fonctionnel orienté XML), Kappa (DSL pour la biologie moléculaire, basé sur de la réécriture de graphes) L’étude et la conception de systèmes distribués et des protocoles qui les implémentent : Babel (protocole de routage), smart contract pour la Blockchain (modélisation et vérification de systèmes distribués) Séminaire et groupes de travail Preuves, programmes et systèmes Programmation Théorie des types et réalisabilité Permanents Nom@TéléphoneBureauFonctionPôleÉquipe Baudart Guillaume @ 4026 Chargé.e de recherche - INRIA ISFP PPS picube , preuves , programmes Bernardi Giovanni @ 01 57 27 93 38 4021 Maître.sse de conférences PPS , ASV preuves , verif , programmes Castagna Giuseppe @ 01 57 27 93 40 3039 Directeur.rice de recherche - CNRS PPS preuves , programmes Dagand Pierre-Evariste @ 01 57 27 94 29 3012 Chargé.e de recherche - CNRS PPS programmes Di Cosmo Roberto @ Professeur.e - (en détachement à l'INRIA) PPS programmes Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , programmes , preuves , picube Férée Hugo @ 01 57 27 94 05 4011 Maître.sse de conférences PPS programmes , preuves Guatto Adrien @ 01 57 27 94 15 3019 Maître.sse de conférences PPS algebre , programmes , preuves Herbelin Hugo @ 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA PPS algebre , picube , preuves , programmes Krivine Jean @ 4027 Chargé.e de recherche - CNRS PPS algebre , programmes Letouzey Pierre @ 01 57 27 93 37 3040 Maître.sse de conférences PPS picube , programmes , preuves Lévy Jean-Jacques @ 01 57 27 92 68 4032 Directeur.rice de recherche émérite - INRIA PPS preuves , picube , programmes Narboux Julien @ 01 57 27 92 58 3022 Maître.sse de conférences PPS programmes , preuves Ruet Paul @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS algebre , programmes Saurin Alexis @ 01 57 27 93 37 3040 Chargé.e de recherche - CNRS PPS algebre , programmes , preuves , picube Scherer Gabriel @ 4032 Chargé.e de recherche - INRIA PPS algebre , programmes , preuves , picube Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV programmes , verif Non-permanents Nom@TéléphoneBureauFonctionPôleÉquipe Duboc Guillaume @ 3010 Doctorant.e PPS programmes Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS picube , algebre , preuves , programmes Gonzalez Colin @ 3044 Doctorant.e PPS programmes Huang Xuejing @ 3018 Post-Doctorant.e PPS programmes , preuves Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Post-Doctorant.e PPS algebre , programmes , preuves , picube Kirst Dominik @ Post-Doctorant.e PPS preuves , picube , programmes Laurent Mickael @ 3033 Doctorant.e PPS programmes , preuves Ndiaye Yves @ Doctorant.e PPS programmes Nourel Astyax @ 3044 Doctorant.e PPS programmes Vienot Ada @ 3044 Doctorant.e PPS algebre , programmes , preuves