^Name^@^Phone^Office^Position^Pole^Team^ | [[ https://www.irif.fr/~abbes | Abbes Samy ]] | [[samy.abbes@univ-paris-diderot.fr|@]] | 01 57 27 92 37 | 3046 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~malbenque/ | Albenque Marie ]] | [[Marie.Albenque@irif.fr|@]] | 01 57 27 92 63 | 4025 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~amadio | Amadio Roberto ]] | [[roberto.amadio@univ-paris-diderot.fr|@]] | 01 57 27 92 47 | 4020 | Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://simonapers.github.io | Apers Simon ]] | [[Simon.Apers@irif.fr|@]] | 01 57 27 94 01 | 4026 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~asarin/ | Asarin Eugène ]] | [[Eugene.ASARIN@irif.fr|@]] | 01 57 27 92 34 | 4040 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~baudart/ | Baudart Guillaume ]] | [[Guillaume.Baudart@irif.fr|@]] | | 4026 | Research Scientist - INRIA ISFP | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ http://nicolasbehr.com | Behr Nicolas ]] | [[Nicolas.Behr@irif.fr|@]] | 01 57 27 90 85 | 3030 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~gio/index.xhtml | Bernardi Giovanni ]] | [[Giovanni.Bernardi@irif.fr|@]] | 01 57 27 93 38 | 4021 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/verif/index | verif ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~berthe/ | Berthé Valérie ]] | [[Valerie.Berthe@irif.fr|@]] | 01 57 27 93 35 | 4014 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~blin/ | Blin Lelia ]] | [[Lelia.Blin@irif.fr|@]] | 01 57 27 94 51 | 3015 | Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/distribue/index | distribue ]] | | [[ https://www.irif.fr/~abou/ | Bouajjani Ahmed ]] | [[Ahmed.Bouajjani@irif.fr|@]] | 01 57 27 92 64 | 4023 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~boufkhad/ | Boufkhad Yacine ]] | [[Yacine.Boufkhad@irif.fr|@]] | 01 57 27 94 05 | 4018 | Associate Professor | | | | [[ https://www.irif.fr/~boura/ | Boura Christina ]] | [[Christina.Boura@irif.fr|@]] | | 3008 | Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~buccia | Bucciarelli Antonio ]] | [[Antonio.Bucciarelli@irif.fr|@]] | 01 57 27 94 33 | 3045 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~calvi/ | Calvi Juliette ]] | [[Juliette.Calvi@irif.fr|@]] | 01 57 27 92 26 | 4005 | Administrative Assistant - Communication | | | | [[ https://www.irif.fr/~carton/ | Carton Olivier ]] | [[Olivier.Carton@irif.fr|@]] | 01 57 27 92 54 | 4037 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~gc | Castagna Giuseppe ]] | [[Giuseppe.Castagna@irif.fr|@]] | 01 57 27 93 40 | 3039 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~chapuy | Chapuy Guillaume ]] | [[Guillaume.Chapuy@irif.fr|@]] | 01 57 27 94 04 | 4012 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~charbit/ | Charbit Pierre ]] | [[Pierre.Charbit@irif.fr|@]] | 01 57 27 92 41 | 4008b | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~cc/ | Choffrut Christian ]] | [[Christian.Choffrut@irif.fr|@]] | 01 57 27 94 45 | 4007 | Professor Emeritus | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~colcombe/ | Colcombet Thomas ]] | [[Thomas.COLCOMBET@irif.fr|@]] | 01 57 27 94 32 | 4008a | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://geoffroycouteau.fr/ | Couteau Geoffroy ]] | [[Geoffroy.Couteau@irif.fr|@]] | 01 57 27 92 45 | 3041 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~csikos/ | Csikos Monika ]] | [[Monika.Csikos@irif.fr|@]] | | 3036 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~curien | Curien Pierre-Louis ]] | [[Pierre-Louis.Curien@irif.fr|@]] | 01 57 27 92 23 | 3013 | Senior Research Scientist Emeritus - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~dagand/ | Dagand Pierre-Evariste ]] | [[Pierre-Evariste.Dagand@irif.fr|@]] | 01 57 27 94 29 | 3012 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/users/fm/index | De Montgolfier Fabien ]] | [[fm@irif.fr|@]] | 01 57 27 92 41 | 4008b | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~mdr/ | De Rougemont Michel ]] | [[Michel.De-Rougemont@irif.fr|@]] | 01 57 27 94 48 | 4041 | Professor Emeritus - Université Paris 2 | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~adegorre/ | Degorre Aldric ]] | [[Aldric.Degorre@irif.fr|@]] | 01 57 27 92 32 | 4018 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~cd/ | Delporte Carole ]] | [[Carole.Delporte@irif.fr|@]] | 01 57 27 92 25 | 4006 | Professor - directrice UFR informatique | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/distribue/index | distribue ]] | | [[ https://www.irif.fr/~dordoigne/ | Dordoigne Chafia ]] | [[Chafia.Dordoigne@irif.fr|@]] | | | Head of Financial Management | | | | [[ https://www.irif.fr/~douteau/ | Douteau Sylvain ]] | [[Sylvain.Douteau@irif.fr|@]] | | 3030 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~duchi/ | Duchi Enrica ]] | [[Enrica.DUCHI@irif.fr|@]] | 01 57 27 92 33 | 4044 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~ehrhard | Ehrhard Thomas ]] | [[Thomas.Ehrhard@irif.fr|@]] | 01 57 27 92 17 | 4014a | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~faggian | Faggian Claudia ]] | [[Claudia.Faggian@irif.fr|@]] | 01 57 27 90 86 | 3032 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~hf | Fauconnier Hugues ]] | [[Hugues.Fauconnier@irif.fr|@]] | 01 57 27 92 25 | 4006 | Professor Emeritus | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/distribue/index | distribue ]] | | [[ https://hugo.feree.fr | Férée Hugo ]] | [[Hugo.Feree@irif.fr|@]] | 01 57 27 94 05 | 4011 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~mfortin/ | Fortin Marie ]] | [[Marie.Fortin@irif.fr|@]] | 01 57 27 94 00 | 4016 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://mo-f.github.io/Mo-F/ | Foughali Mohammed ]] | [[foughali@irif.fr|@]] | 01 57 27 94 49 | 4043 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~pierref/ | Fraigniaud Pierre ]] | [[Pierre.Fraigniaud@irif.fr|@]] | 01 57 27 92 60 | 4019 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]], [[ https://www.irif.fr/equipes/distribue/index | distribue ]] | | [[ https://www.irif.fr/~gaucher | Gaucher Philippe ]] | [[Philippe.Gaucher@irif.fr|@]] | 01 57 27 92 55 | 3049 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://geoffroy.re | Geoffroy Guillaume ]] | [[Guillaume.Geoffroy@irif.fr|@]] | 01 57 27 94 15 | 3019 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~amelie/ | Gheerbrant Amelie ]] | [[Amelie.Gheerbrant@irif.fr|@]] | 01 57 27 94 46 | 4039 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~godde/ | Goddé Mélissa ]] | [[Melissa.Godde@irif.fr|@]] | | 4005 | Administrative Assistant | | | | [[ https://www.irif.fr/~guatto/ | Guatto Adrien ]] | [[Adrien.Guatto@irif.fr|@]] | 01 57 27 94 15 | 3019 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~ig/ | Guessarian Irène ]] | [[Irene.GUESSARIAN@irif.fr|@]] | 01 57 27 92 59 | 3032 | Professor Emeritus - Sorbonne Université | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~haberm | Habermehl Peter ]] | [[Peter.HABERMEHL@irif.fr|@]] | 01 57 27 92 68 | 3009 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~habib/ | Habib Michel ]] | [[Michel.Habib@irif.fr|@]] | 01 57 27 94 42 | 3042a | Professor Emeritus | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ http://pauillac.inria.fr/~herbelin | Herbelin Hugo ]] | [[Hugo.Herbelin@irif.fr|@]] | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~horn/ | Horn Florian ]] | [[Florian.HORN@irif.fr|@]] | 01 57 27 94 46 | 4039 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~joly | Joly Thierry ]] | [[Thierry.Joly@irif.fr|@]] | 01 57 27 92 55 | 3049 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~josuat/ | Josuat-Vergès Matthieu ]] | [[Matthieu.Josuat-Verges@irif.fr|@]] | 01 57 27 92 59 | 4049 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~jurski/ | Jurski Yan ]] | [[jurski@irif.fr|@]] | 01 57 27 94 41 | 4027 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~jkeren/ | Kerenidis Iordanis ]] | [[Iordanis.KERENIDIS@irif.fr|@]] | 01 57 27 92 63 | 4025 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~kesner | Kesner Delia ]] | [[Delia.Kesner@irif.fr|@]] | 01 57 27 92 38 | 3020 | Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~krivine | Krivine Jean-Louis ]] | [[Jean-Louis.Krivine@irif.fr|@]] | 01 57 27 92 39 | 3008 | Professor Emeritus | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~jkrivine | Krivine Jean ]] | [[Jean.Krivine@irif.fr|@]] | | 4027 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~kuoy/ | Kuoy Houy ]] | [[Houy.Kuoy@irif.fr|@]] | 01 57 27 92 19 | 3054 | IT Administrator | | | | [[ https://www.irif.fr/~laplante/ | Laplante Sophie ]] | [[Sophie.Laplante@irif.fr|@]] | 01 57 27 94 47 | 4040a | Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~francoisl/ | Laroussinie François ]] | [[Francois.Laroussinie@irif.fr|@]] | 01 57 27 92 42 | 4034 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~ledent/ | Ledent Jeremy ]] | [[jeremy.ledent@irif.fr|@]] | 01 57 27 92 58 | 3022 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/distribue/index | distribue ]] | | [[ https://www.irif.fr/~letouzey | Letouzey Pierre ]] | [[Pierre.Letouzey@irif.fr|@]] | 01 57 27 93 37 | 3040 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ http://jeanjacqueslevy.net | Lévy Jean-Jacques ]] | [[jean-jacques.levy@inria.fr|@]] | 01 57 27 92 68 | 4032 | Senior Research Scientist Emeritus - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ http://libk.in | Libkin Leonid ]] | [[Leonid.Libkin@irif.fr|@]] | | 3042 | Professor - Chaire industrielle | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://lovejoy.perso.math.cnrs.fr/ | Lovejoy Jeremy ]] | [[Jeremy.Lovejoy@irif.fr|@]] | 01 57 27 92 24 | 4030 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~magniez/ | Magniez Frédéric ]] | [[https://www.irif.fr/~magniez/|@]] | 01 57 27 94 02 | 4024 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~mantaci/ | Mantaci Roberto ]] | [[Roberto.Mantaci@irif.fr|@]] | 01 57 27 92 62 | 4047 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ http://www.irif.fr/~gmanzone/ | Manzonetto Giulio ]] | [[gmanzone@irif.fr|@]] | 01 57 27 93 54 | 4015 | Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~smaras/ | Maras Sandrine ]] | [[Sandrine.Maras@irif.fr|@]] | | | Administrative Assistant | | | | [[ https://www.irif.fr/~marcos/ | Marcos Aurore ]] | [[Aurore.Marcos@irif.fr|@]] | 01 57 27 92 74 | 4003 | General Secretary | | | | [[ https://www.irif.fr/~claire/ | Mathieu Claire ]] | [[Claire.Mathieu@irif.fr|@]] | 01 57 27 94 39 | 4009 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~mellies | Melliès Paul-André ]] | [[mellies@irif.fr|@]] | 01 57 27 92 48 | 3023 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~metayer | Métayer François ]] | [[Francois.Metayer@irif.fr|@]] | 01 57 27 94 29 | 3012 | Associate Professor Emeritus - Université Paris Nanterre | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~amicheli/ | Micheli Anne ]] | [[Anne.MICHELI@irif.fr|@]] | 01 57 27 94 38 | 4038 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~vmitsou/ | Mitsou Valia ]] | [[vmitsou@irif.fr|@]] | 01 57 27 94 45 | 4034a | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~narboux/ | Narboux Julien ]] | [[Julien.Narboux@irif.fr|@]] | 01 57 27 92 58 | 3022 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~reza/pmwiki/pmwiki.php | Naserasr Reza ]] | [[Reza.Naserasr@irif.fr|@]] | 01 57 27 92 24 | 4030 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~orru/ | Orru Michele ]] | [[Michele.Orru@irif.fr|@]] | | 4027 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~padovani | Padovani Vincent ]] | [[Vincent.Padovani@irif.fr|@]] | 01 57 27 93 39 | 3045 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~petrisan/ | Petrisan Daniela ]] | [[Daniela.Petrisan@irif.fr|@]] | 01 57 27 94 00 | 4016 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~picantin/ | Picantin Matthieu ]] | [[picantin@irif.fr|@]] | 01 57 27 94 49 | 4043 | Associate Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~jep/ | Pin Jean-Éric ]] | [[Jean-Eric.PIN@irif.fr|@]] | 01 57 27 92 18 | 4007 | Senior Research Scientist Emeritus - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~poulalho | Poulalhon Dominique ]] | [[Dominique.Poulalhon@irif.fr|@]] | 01 57 27 94 38 | 4038 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.pouly.fr | Pouly Amaury ]] | [[Amaury.Pouly@irif.fr|@]] | | | Research Scientist - CNRS - Currently on leave | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~rabie/ | Rabie Mikael ]] | [[Mikael.Rabie@irif.fr|@]] | 01 57 27 93 38 | 4021 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]], [[ https://www.irif.fr/equipes/distribue/index | distribue ]] | | [[ https://www.irif.fr/~vlad/ | Ravelomanana Vlady ]] | [[Vlady.Ravelomanana@irif.fr|@]] | 01 57 27 94 44 | 3025 | Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~crobin/ | Robin Cléophée ]] | [[Cleophee.Robin@irif.fr|@]] | | 4049 | Associate Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~adiro | Rosén Adi ]] | [[Adi.Rosen@irif.fr|@]] | 01 57 27 94 40 | 4013 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://alexandre.roulois.fr | Roulois Alexandre ]] | [[alexandre.roulois@irif.fr|@]] | 01 57 27 92 19 | 3054 | IT Administrator | | | | [[ https://www.irif.fr/~roziere | Rozière Paul ]] | [[Paul.Roziere@irif.fr|@]] | | | Pensioner - MCF Université Paris Cité | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~ruet | Ruet Paul ]] | [[Paul.Ruet@irif.fr|@]] | 01 57 27 92 48 | 3023 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~sakarovitch/ | Sakarovitch Jacques ]] | [[Jacques.Sakarovitch@irif.fr|@]] | 01 57 27 90 86 | 3032 | Senior Research Scientist Emeritus - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~samtchar/ | Samtchar Jemuel ]] | [[Jemuel.Samtchar@irif.fr|@]] | 01 57 27 94 11 | 4005 | Administrative Assistant | | | | [[ https://www.irif.fr/~santha/ | Santha Miklos ]] | [[Miklos.SANTHA@irif.fr|@]] | | 4041 | Senior Research Scientist Emeritus - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~saulpic/ | Saulpic David ]] | [[David.Saulpic@irif.fr|@]] | | 4029a | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/users/saurin/index | Saurin Alexis ]] | [[Alexis.Saurin@irif.fr|@]] | 01 57 27 93 37 | 3040 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ http://gallium.inria.fr/~scherer/ | Scherer Gabriel ]] | [[Gabriel.Scherer@irif.fr|@]] | | 4032 | Research Scientist - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] | | [[ https://www.irif.fr/~schmitz/ | Schmitz Sylvain ]] | [[Sylvain.Schmitz@irif.fr|@]] | 01 57 27 92 16 | 3048 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~serre/ | Serre Olivier ]] | [[Olivier.SERRE@irif.fr|@]] | 01 57 27 94 18 | 4029 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~mahsa/ | Shirmohammadi Mahsa ]] | [[Mahsa.Shirmohammadi@irif.fr|@]] | 01 57 27 92 29 | 4017 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~cristina/ | Sirangelo Cristina ]] | [[Cristina.Sirangelo@irif.fr|@]] | 01 57 27 92 35 | 4042 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~stamoulis/ | Stamoulis Giannos ]] | [[Giannos.Stamoulis@irif.fr|@]] | | 3036 | Research Scientist | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~matej/ | Stehlik Matej ]] | [[Matej.Stehlik@irif.fr|@]] | 01 57 27 93 36 | 4008 | Professor | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~steiner/ | Steiner Wolfgang ]] | [[Wolfgang.Steiner@irif.fr|@]] | 01 57 27 92 33 | 4044 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~susairaj/ | Susairaj Marie-Laure ]] | [[Marie-Laure.Susairaj@irif.fr|@]] | 01 57 27 94 08 | 4001 | Administrative Assistant | | | | [[ https://www.irif.fr/~touili/ | Touili Tayssir ]] | [[touili@irif.fr|@]] | 01 57 27 92 61 | 4028a | Senior Research Scientist | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~treinen | Treinen Ralf ]] | [[Ralf.Treinen@irif.fr|@]] | 01 57 27 92 44 | 3021 | Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.adrianvladu.org | Vladu Adrian ]] | [[Adrian.Vladu@irif.fr|@]] | 01 57 27 92 45 | 3041 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~winter | Winter Sarah ]] | [[Sarah.Winter@irif.fr|@]] | | 4026 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://yunes.informatique.univ-paris-diderot.fr/ | Yunès Jean-Baptiste ]] | [[Jean-Baptiste.Yunes@univ-paris-diderot.fr|@]] | 01 57 27 92 62 | 4047 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~zielonka | Zielonka Wiesław ]] | [[Wieslaw.Zielonka@irif.fr|@]] | | 3015 | Professor Emeritus | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://www.samvangool.net | van Gool Sam ]] | [[vangool@irif.fr|@]] | 01 57 27 94 05 | 4011 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |