Thematic team Pole Proofs, programs and systems Analysis and conception of systems Head Pierre-Evariste Dagand Research themes We aim at developing formal or mathematical methods for modeling real natural or man-made systems, and to solve concrete problems. This field of research is connected with IRILL, with which we are working on efficient methods for the correct deployment of large software components. We develop programming languages for specific application domains like data bases and web programming. We also work on probabilistic and graphical systems, based on rewriting or process algebra, for the modeling of concurrent systems. The pole wishes to develop its inter-disciplinary activities in the field of biological systems and models. Furthermore, our activities are connected to the Software Heritage foundation which was founded by members of IRIF, and which we continue to support. The Coq Proof Assistant The Babel Routing Protocol Programming Languages Software Components Concurrent and Probabilistic Systems Linear Rewriting Seminar and working groups Proofs, programs and systems Analysis and conception of systems Programming Type theory and realisability Permanent members Name@PhoneOfficePositionPoleTeam Abbes Samy @ 01 57 27 92 37 3046 Associate Professor PPS systemes Amadio Roberto @ 01 57 27 92 47 4020 Professor PPS systemes , preuves Bernardi Giovanni @ 01 57 27 93 38 4021 Associate Professor ASV , PPS verif , systemes , preuves Castagna Giuseppe @ 01 57 27 93 40 3039 Senior Research Scientist - CNRS PPS preuves , systemes Chroboczek Juliusz @ 01 57 27 92 37 3046 Associate Professor PPS systemes Dagand Pierre-Evariste @ 01 57 27 94 29 3012 Research Scientist - CNRS PPS systemes Di Cosmo Roberto @ Professor - (en détachement à l'INRIA) PPS systemes Ehrhard Thomas @ 01 57 27 92 17 4014a Senior Research Scientist - CNRS PPS algebre , systemes , preuves , picube Férée Hugo @ 01 57 27 94 05 4011 Associate Professor PPS systemes , preuves Guatto Adrien @ 01 57 27 94 15 3019 Associate Professor PPS algebre , systemes , preuves Herbelin Hugo @ 01 57 27 90 87 3029 Senior Research Scientist - INRIA PPS algebre , picube , preuves , systemes Krivine Jean @ Research Scientist - CNRS - Currently on leave PPS , ASD systemes , preuves , distribue Letouzey Pierre @ 01 57 27 93 37 3040 Associate Professor PPS picube , systemes , preuves Lévy Jean-Jacques @ 01 57 27 92 68 3009 Senior Research Scientist Emeritus - INRIA PPS picube , preuves , systemes Ruet Paul @ 01 57 27 92 48 3023 Research Scientist - CNRS PPS algebre , systemes Saurin Alexis @ 01 57 27 93 37 3040 Research Scientist - CNRS PPS picube , algebre , systemes , preuves Scherer Gabriel @ Research Scientist PPS systemes , preuves , algebre Treinen Ralf @ 01 57 27 92 44 3021 Professor PPS , ASV systemes , verif Non-permanent members Name@PhoneOfficePositionPoleTeam Castro Felix @ 3026 PhD Student PPS picube , algebre , systemes , preuves Duboc Guillaume @ 3010 PhD Student PPS systemes Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS picube , algebre , systemes , preuves Gonzalez Colin @ 3044 PhD Student PPS systemes Gros Basile @ Intern ASV , PPS verif , systemes , preuves Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Post-Doc PPS algebre , systemes , preuves , picube Laforgue Paul @ 3034 PhD Student PPS systemes Laurent Mickael @ 3033 PhD Student PPS systemes , preuves Moeneclaey Hugo @ 3034 PhD Student PPS picube , algebre , systemes , preuves Nourel Astyax @ 4057 PhD Student PPS systemes Turbiau Guilhem @ Intern PPS algebre , systemes , preuves Valiron Benoit @ 4052 Associated Member - MCF Supelec PPS algebre , systemes , preuves Vienot Ada @ 3033 PhD Student PPS algebre , systemes , preuves Vivien Samuel @ Intern PPS systemes