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:
| Nom | @ | Téléphone | Bureau | Fonction | Pô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 |
| 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 |
| Nom | @ | Téléphone | Bureau | Fonction | Pôle | Équipe |
|---|---|---|---|---|---|---|
| Chikhoune Idir | @ | Visiteur.euse | PPS | programmes | ||
| Duboc Guillaume | @ | 3010 | Doctorant.e | PPS | programmes | |
| Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , preuves , 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 | @ | 4053 | Post-Doctorant.e | PPS | preuves , picube , programmes | |
| Laurent Mickael | @ | 3033 | Doctorant.e | PPS | programmes , preuves | |
| Mathieu Adrien | @ | Stagiaire | PPS | preuves , picube , programmes | ||
| Ndiaye Yves | @ | Ingénieur d'étude | PPS | programmes | ||
| Nourel Astyax | @ | 3044 | ATER | PPS | programmes | |
| Quennet Titouan | @ | 3060 | Stagiaire | PPS | algebre , programmes | |
| Vienot Ada | @ | 3044 | Doctorant.e | PPS | algebre , programmes , preuves |