^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 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~ahmadi/ | Ahmadi Laifa ]] | [[Laifa.AHMADI@irif.fr|@]] | 01 57 27 92 46 | 4008a | Informaticien.ne | | | | [[ https://www.irif.fr/~aksenov/ | Aksenov Vitaly ]] | [[Vitaly.Aksenov@irif.fr|@]] | | | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://aalertubella.com/ | Aler Andrea ]] | [[Andrea.Aler@irif.fr|@]] | | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~allioux/ | Allioux Antoine ]] | [[antoine.allioux@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~amadio | Amadio Roberto ]] | [[roberto.amadio@univ-paris-diderot.fr|@]] | 01 57 27 92 47 | 4020 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~nixiton/ | Andriambolamalala Ny-Aina ]] | [[Ny-Aina.Andriambolamalala@irif.fr|@]] | 01 57 27 92 52 | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~asarin/ | Asarin Eugène ]] | [[Eugene.ASARIN@irif.fr|@]] | 01 57 27 92 34 | 4040 | Professeur.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~balat | Balat Vincent ]] | [[Vincent.Balat@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférence - (en disponibilité) | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~pbb/ | Barenbaum Pablo ]] | [[Pablo.Barenbaum@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e | [[ 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/~batmalle/ | Batmalle Hadrien ]] | [[Hadrien.Batmalle@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~mbehr/ | Behr Nicolas ]] | [[Nicolas.Behr@irif.fr|@]] | 01 57 27 92 21 | 4029a | Post-Doctorant.e | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://beillahi.github.io/ | Beillahi Sidi-Mohamed ]] | [[Sidi-Mohamed.Beillahi@irif.fr|@]] | | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ http://fc.isima.fr/~bergougn/ | Bergougnoux Benjamin ]] | [[Benjamin.Bergougnoux@irif.fr|@]] | | 4053 | ATER | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~berline | Berline Chantal ]] | [[Chantal.Berline@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ 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 | 4026 | Maître.sse de conférence | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~berthe/ | Berthé Valérie ]] | [[Valerie.Berthe@irif.fr|@]] | 01 57 27 93 35 | 4014 | Directeur.rice de recherche - 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/~ranadeep/ | Biswas Ranadeep ]] | [[Ranadeep.Biswas@irif.fr|@]] | 07 69 97 44 12 | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ http://koliaza.com/ | Blanchard Nicolas ]] | [[Nicolas.Blanchard@irif.fr|@]] | | 4001 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~vblot/ | Blot Valentin ]] | [[Valentin.Blot@irif.fr|@]] | | | Post-Doctorant.e | [[ 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/~lboczko/ | Boczkowski Lucas ]] | [[Lucas.Boczkowski@irif.fr|@]] | | 4055 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~abou/ | Bouajjani Ahmed ]] | [[Ahmed.Bouajjani@irif.fr|@]] | 01 57 27 92 64 | 4023 | Professeur.e | [[ 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 | 4011 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/gang/index | gang ]] | | [[ https://www.irif.fr/~bouillaguet/ | Bouillaguet Quentin ]] | [[Quentin.Bouillaguet@irif.fr|@]] | | 4021 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~boutier | Boutier Matthieu ]] | [[Matthieu.Boutier@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~abgrilo | Bredariol-Grilo Alex ]] | [[Alex.Bredariol-Grilo@irif.fr|@]] | | 4059 | Doctorant.e | [[ 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 | Maître.sse de conférence | [[ 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/~burroni | Burroni Albert ]] | [[Albert.Burroni@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~piluc/ | CRESCENZI Pierluigi ]] | [[Pierluigi.Crescenzi@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ http://www.normalesup.org/~cagne/ | Cagne Pierre ]] | [[Pierre.Cagne@irif.fr|@]] | 01 57 27 92 92 | 3044 | Doctorant.e avec mission d'enseignement | [[ 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/~dieneba/ | Camara Dieneba ]] | [[Dieneba.Camara@irif.fr|@]] | 01 57 27 94 08 | 4001 | Gestionnaire | | | | [[ https://www.irif.fr/~carton/ | Carton Olivier ]] | [[Olivier.Carton@irif.fr|@]] | 01 57 27 92 54 | 4037 | Professeur.e | [[ 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@univ-paris-diderot.fr|@]] | 01 57 27 93 40 | 3039 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~cauderlier/ | Cauderlier Raphael ]] | [[Raphael.Cauderlier@irif.fr|@]] | | 4058 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~pcecchi/ | Cecchi Paulina ]] | [[Paulina.Cecchi@irif.fr|@]] | | 3026 | Doctorant.e | [[ 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/~chapuy | Chapuy Guillaume ]] | [[Guillaume.Chapuy@irif.fr|@]] | 01 57 27 94 04 | 4012 | Chargé.e de recherche - 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|@]] | 0157279224 | 4030 | Maître.sse de conférence - charbit | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~cc/ | Choffrut Christian ]] | [[Christian.Choffrut@irif.fr|@]] | 01 57 27 92 26 | 4034 | Professeur.e émérite | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~chouquet/ | Chouquet Jules ]] | [[Jules.Chouquet@irif.fr|@]] | 01 57 27 90 86 | 3032 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~jch | Chroboczek Juliusz ]] | [[Juliusz.Chroboczek@irif.fr|@]] | 01 57 27 92 37 | 3046 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~colcombe/ | Colcombet Thomas ]] | [[Thomas.COLCOMBET@irif.fr|@]] | 01 57 27 94 32 | 3042 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~scollet/ | Collet Simon ]] | [[Simon.Collet@irif.fr|@]] | | 3010 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/gang/index | gang ]] | | [[ https://www.irif.fr/~corteel | Corteel Sylvie ]] | [[Sylvie.Corteel@irif.fr|@]] | | 4012 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~rcrubille/ | Crubillé Raphaëlle ]] | [[Raphaelle.Crubille@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ 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/~curien | Curien Pierre-Louis ]] | [[Pierre-Louis.Curien@irif.fr|@]] | 01 57 27 92 23 | 3013 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ 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 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~mdr/ | De-Rougemont Michel ]] | [[Michel.De-Rougemont@irif.fr|@]] | 01 57 27 94 48 | 4041 | Professeur.e - 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 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://dehornoy.users.lmno.cnrs.fr/ | Dehornoy Patrick ]] | [[Patrick.Dehornoy@irif.fr|@]] | 01 57 27 92 55 | 3049 | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ http://delbian.co | Delbianco German-Andres ]] | [[gad@irif.fr|@]] | 01 57 27 94 07 | 4032 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~bdelcroix/ | Delcroix-Oger Berenice ]] | [[Berenice.Delcroix-Oger@irif.fr|@]] | 01 57 27 92 45 | 3041 | Maître.sse de conférence | [[ 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/combi/index | combi ]] | | [[ https://www.irif.fr/~cd/ | Delporte Carole ]] | [[Carole.Delporte@irif.fr|@]] | 01 57 27 92 25 | 4006 | Professeur.e - directrice adjointe UFR informatique | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~dervieux/ | Dervieux Clement ]] | [[Clement.Dervieux@irif.fr|@]] | 01 57 27 92 52 | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ http://www.dicosmo.org | Di Cosmo Roberto ]] | [[roberto@dicosmo.org|@]] | 01 57 27 92 20 | 4048 | Professeur.e - (en détachement à l'INRIA) | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~dolce/ | Dolce Francesco ]] | [[Francesco.Dolce@irif.fr|@]] | | 4053 | ATER - dolce | [[ 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/~douvr001/ | Douvropoulos Theodosios ]] | [[Theodosios.Douvropoulos@irif.fr|@]] | | 3044 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~dovgal/ | Dovgal Sergey ]] | [[Sergey.Dovgal@irif.fr|@]] | | | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~fdurand/ | Durand Fabian ]] | [[Fabian.Durand@irif.fr|@]] | | 4008 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~ehrhard | Ehrhard Thomas ]] | [[Thomas.Ehrhard@irif.fr|@]] | 01 57 27 92 17 | 4014a | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~cenea/ | Enea Constantin ]] | [[Constantin.Enea@irif.fr|@]] | 01 57 27 92 41 | 4028a | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~faggian | Faggian Claudia ]] | [[Claudia.Faggian@irif.fr|@]] | 01 57 27 92 55 | 3049 | Chargé.e de recherche - 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 ]] | | [[ http://yuezhuang.me/about/ | Fang Bin ]] | [[Bin.Fang@irif.fr|@]] | 07 68 79 02 80 | 4061 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~hf | Fauconnier Hugues ]] | [[Hugues.Fauconnier@irif.fr|@]] | 01 57 27 92 25 | 4006 | Professeur.e - directeur de l'UFR informatique | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~feuilloley/ | Feuilloley Laurent ]] | [[Laurent.Feuilloley@irif.fr|@]] | | 3010 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ http://nathanael-fijalkow.github.io/ | Fijalkow Nathanael ]] | [[Nathanael.Fijalkow@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~finster/ | Finster Eric ]] | [[ericfinster@gmail.com|@]] | 01 57 27 94 30 | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~sforest/ | Forest Simon ]] | [[Simon.Forest@irif.fr|@]] | | | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~pierref/ | Fraigniaud Pierre ]] | [[Pierre.Fraigniaud@irif.fr|@]] | 01 57 27 92 60 | 4019 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/gang/index | gang ]] | | [[ https://www.irif.fr/~fregier/ | Frégier Yaël ]] | [[yael.fregier@gmail.com|@]] | 01 57 27 92 41 | 4008b | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~cf | Frougny Christiane ]] | [[Christiane.FROUGNY@irif.fr|@]] | 01 57 27 94 41 | 4027 | Professeur.e émérite | [[ 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/~zgalal/ | Galal Zeinab ]] | [[Zeinab.Galal@irif.fr|@]] | 01 57 27 90 86 | 3032 | Doctorant.e | [[ 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/~gaucher | Gaucher Philippe ]] | [[Philippe.Gaucher@irif.fr|@]] | 01 57 27 92 16 | 3048 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~mgehrke/ | Gehrke Mai ]] | [[Mai.Gehrke@irif.fr|@]] | | | Membre associé.e - DR CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~ugerard/ | Gerard Ulysse ]] | [[Ulysse.Gerard@irif.fr|@]] | 0604061587 | 3044 | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~amelie/ | Gheerbrant Amelie ]] | [[Amelie.Gheerbrant@irif.fr|@]] | | 4039 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~thib/ | Girka Thibaut ]] | [[Thibaut.Girka@irif.fr|@]] | 01 57 27 92 43 | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~seg/ | Grigorieff Serge ]] | [[Serge.Grigorieff@irif.fr|@]] | | 4027 | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~guatto/ | Guatto Adrien ]] | [[Adrien.Guatto@irif.fr|@]] | 01 57 27 94 01 | 4021 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ 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 | 4049 | Professeur.e émérite | [[ 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/~guetta/ | Guetta Leonard ]] | [[Leonard.Guetta@irif.fr|@]] | 01 57 27 90 86 | 3032 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~guinard/ | Guinard Brieuc ]] | [[guinard@irif.fr|@]] | | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~guiraud | Guiraud Yves ]] | [[yves.guiraud@irif.fr|@]] | 01 57 27 94 29 | 3012 | Chargé.e de recherche - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]] | | [[ https://www.irif.fr/~haberm | Habermehl Peter ]] | [[Peter.HABERMEHL@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférence | [[ 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 | Professeur.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~hamdaoui/ | Hamdaoui Yann ]] | [[Yann.Hamdaoui@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://perso.ens-lyon.fr/yassine.hamoudi | Hamoudi Yassine ]] | [[Yassine.Hamoudi@irif.fr|@]] | | 4031 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ http://pauillac.inria.fr/~herbelin | Herbelin Hugo ]] | [[Hugo.Herbelin@irif.fr|@]] | 01 57 27 90 87 | 3029 | Directeur.rice de recherche - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://chothanh.wordpress.com/ | Ho Thanh Cédric ]] | [[cedric.hothanh@irif.fr|@]] | | 3032 | Doctorant.e avec mission d'enseignement | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~horn/ | Horn Florian ]] | [[Florian.HORN@irif.fr|@]] | 01 57 27 94 46 | 4039 | Chargé.e de recherche - 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/~husson/ | Husson Adrien ]] | [[husson@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~c.jacq/ | Jacq Clément ]] | [[Clement.Jacq@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e avec mission d'enseignement | [[ 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://nicolas.jeannerod.fr/ | Jeannerod Nicolas ]] | [[Nicolas.Jeannerod@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e avec mission d'enseignement | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~jkl/ | Ji Kailiang ]] | [[Kailiang.Ji@irif.fr|@]] | 01 57 27 92 60 | 4057 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~joly | Joly Thierry ]] | [[Thierry.Joly@irif.fr|@]] | 01 57 27 90 88 | 3007 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~josuat/ | Josuat-Verges Matthieu ]] | [[Matthieu.Josuat-Verges@irif.fr|@]] | 01 57 27 94 04 | 4012 | Membre associé.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~niraj/ | KUMAR Niraj ]] | [[niraj.kumar@irif.fr|@]] | | 4031 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~kasterovic/ | Kasterovic Simona ]] | [[Simona.Kasterovic@irif.fr|@]] | | 3055 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~kempe/ | Kempe Julia ]] | [[Julia.Kempe@irif.fr|@]] | | | Directeur.rice de recherche - CNRS (en disponibilité) | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~jkeren/ | Kerenidis Iordanis ]] | [[Iordanis.KERENIDIS@irif.fr|@]] | 01 57 27 92 63 | 4025 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~kerjean/ | Kerjean Marie ]] | [[kerjean@irif.fr|@]] | 01 57 27 94 16 | 3044 | Doctorant.e avec mission d'enseignement | [[ 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/~kesner | Kesner Delia ]] | [[Delia.Kesner@irif.fr|@]] | 01 57 27 92 38 | 3020 | Professeur.e | [[ 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/~klimann/ | Klimann Ines ]] | [[Ines.Klimann@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~konan/ | Konan Isaac ]] | [[Isaac.Konan@irif.fr|@]] | | 4059 | Doctorant.e avec mission d'enseignement | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~pandit/ | Korman Amos ]] | [[pandit@irif.fr|@]] | 01 57 27 94 06 | 4028 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~kosowski/ | Kosowski Adrian ]] | [[adrian.kosowski@inria.fr|@]] | | 4011 | Chargé.e de recherche - INRIA | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~krivine | Krivine Jean-Louis ]] | [[Jean-Louis.Krivine@irif.fr|@]] | 01 57 27 92 39 | 3008 | Professeur.e émérite | [[ 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|@]] | 01 57 27 93 38 | 4026 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~kuoy/ | Kuoy Houy ]] | [[kuoy@irif.fr|@]] | 01 57 27 92 19 | 3054 | Informaticien.ne | | | | [[ https://www.irif.fr/~glagarde/ | Lagarde Guillaume ]] | [[Guillaume.Lagarde@irif.fr|@]] | 01 57 27 92 31 | 4055 | Doctorant.e | [[ 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/algocomp/index | algocomp ]] | | [[ http://www.dptinfo.ens-cachan.fr/~vlanvin/ | Lanvin Victor ]] | [[Victor.Lanvin@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~laplante/ | Laplante Sophie ]] | [[Sophie.Laplante@irif.fr|@]] | 01 57 27 94 47 | 4040a | Professeur.e | [[ 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 | 4004 | Professeur.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~chaitanya/ | Leena-Subramaniam Chaitanya ]] | [[Chaitanya.Leena-Subramaniam@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ 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/~ylg/ | Legrandgérard Yves ]] | [[Yves.Legrandgerard@irif.fr|@]] | 01 57 27 92 57 | 3057 | Informaticien.ne | | | | [[ https://www.irif.fr/~leivant/ | Leivant Daniel ]] | [[Daniel.Leivant@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~letouzey | Letouzey Pierre ]] | [[Pierre.Letouzey@irif.fr|@]] | 01 57 27 90 84 | 3028 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~leventis/ | Leventis Thomas ]] | [[leventis@irif.fr|@]] | | | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ 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 | 3009 | Directeur.rice de recherche émérite - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~tlong/ | Long Teng ]] | [[Teng.Long@irif.fr|@]] | 01 57 27 92 60 | 4054 | Visiteur.euse | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~blouf/ | Louf Baptiste ]] | [[Baptiste.Louf@irif.fr|@]] | | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ http://lovejoy.perso.math.cnrs.fr/ | Lovejoy Jeremy ]] | [[Jeremy.Lovejoy@irif.fr|@]] | 01 57 27 92 49 | 4038 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~aluongo/ | Luongo Alessandro ]] | [[Alessandro.Luongo@irif.fr|@]] | | 4059 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~magniez/ | Magniez Frédéric ]] | [[Frederic.MAGNIEZ@irif.fr|@]] | 01 57 27 94 02 | 4005 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~malbos/ | Malbos Philippe ]] | [[malbos@math.univ-lyon1.fr|@]] | 01 57 27 94 29 | 3012 | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~mallet/ | Mallet Etienne ]] | [[Etienne.Mallet@irif.fr|@]] | 01 57 27 94 11 | 4001 | Gestionnaire | | | | [[ https://www.irif.fr/~mangin/ | Mangin Cyprien ]] | [[Cyprien.Mangin@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~mantaci/ | Mantaci Roberto ]] | [[Roberto.Mantaci@irif.fr|@]] | 01 57 27 92 62 | 4047 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~claire/ | Mathieu Claire ]] | [[Claire.Mathieu@irif.fr|@]] | 01 57 27 94 39 | 4009 | Directeur.rice de recherche - 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 | Chargé.e de recherche - CNRS | [[ 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/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~metayer | Métayer François ]] | [[Francois.Metayer@irif.fr|@]] | 01 57 27 94 29 | 3012 | Maître.sse de conférence | [[ 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 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/ | Mimram Samuel ]] | [[Samuel.Mimram@irif.fr|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] | | [[ https://www.irif.fr/~vmitsou/ | Mitsou Valia ]] | [[Valia.Mitsou@irif.fr|@]] | | 4059 | ATER | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~reza/pmwiki/pmwiki.php | NASERASR Reza ]] | [[Reza.Naserasr@irif.fr|@]] | 01 57 27 92 24 | 4030 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~nolin/ | Nolin Alexandre ]] | [[Alexandre.Nolin@irif.fr|@]] | 01 57 27 92 31 | 4055 | Doctorant.e avec mission d'enseignement | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~nollet/ | Nollet Remi ]] | [[Remi.Nollet@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e avec mission d'enseignement | [[ 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/~nunge/ | Nunge Arthur ]] | [[Arthur.Nunge@irif.fr|@]] | | | ATER | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~ohlmann/ | Ohlmann Pierre ]] | [[Pierre.Ohlmann@irif.fr|@]] | 0667368318 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~osmond/ | Osmond Axel ]] | [[Axel.Osmond@irif.fr|@]] | 01 57 27 94 56 | 4060 | Doctorant.e | [[ 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/~padovani | Padovani Vincent ]] | [[Vincent.Padovani@irif.fr|@]] | 01 57 27 93 39 | 3045 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~pagani/ | Pagani Michele ]] | [[pagani@irif.fr|@]] | 01 57 27 92 56 | 4015 | Professeur.e | [[ 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/~parigot | Parigot Michel ]] | [[Michel.Parigot@irif.fr|@]] | 01 57 27 92 51 | 3047 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~amipaz/ | Paz Ami ]] | [[Ami.Paz@irif.fr|@]] | | 3010 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]] | | [[ https://www.irif.fr/~sperifel/ | Perifel Sylvain ]] | [[Sylvain.Perifel@irif.fr|@]] | 01 57 27 92 29 | 4017 | Maître.sse de conférence | [[ 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/algocomp/index | algocomp ]] | | [[ http://gpetri.github.io/ | Petri Gustavo ]] | [[Gustavo.Petri@irif.fr|@]] | 01 57 27 94 01 | 4021 | Maître.sse de conférence - (en disponibilité) | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~petrisan/ | Petrisan Daniela ]] | [[Daniela.Petrisan@irif.fr|@]] | 01 57 27 92 21 | 4029a | Membre associé.e - Post-Doctorante | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~petrucciani/ | Petrucciani Tommaso ]] | [[Tommaso.Petrucciani@irif.fr|@]] | 01 57 27 92 22 | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~picantin/ | Picantin Matthieu ]] | [[picantin@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférence | [[ 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 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~leo_planche/ | Planche Leo ]] | [[leo_planche@irif.fr|@]] | | 4018 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~pommellet/ | Pommellet Adrien ]] | [[Adrien.Pommellet@irif.fr|@]] | 01 57 27 92 27 | 4052 | ATER | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~poulalho | Poulalhon Dominique ]] | [[Dominique.Poulalhon@irif.fr|@]] | 01 57 27 94 38 | 4038 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://www.irif.fr/~anupam/ | Prakash Anupam ]] | [[anupam@irif.fr|@]] | | | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~vlad/ | Ravelomanana Vlady ]] | [[Vlady.Ravelomanana@irif.fr|@]] | 01 57 27 94 44 | 3025 | Professeur.e | [[ 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/~yrg | Régis-Gianas Yann ]] | [[Yann.Regis-Gianas@irif.fr|@]] | 01 57 27 90 84 | 3028 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~erivas/ | Rivas Exequiel ]] | [[Exequiel.Rivas@irif.fr|@]] | 01 57 27 94 30 | 3018 | Post-Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~adiro | Rosén Adi ]] | [[Adi.ROSEN@irif.fr|@]] | 01 57 27 94 40 | 4013 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/users/rotondo/index | Rotondo Pablo ]] | [[rotondo@irif.fr|@]] | | 4053 | Doctorant.e | [[ 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/~roziere | Rozière Paul ]] | [[Paul.Roziere@irif.fr|@]] | 01 57 27 92 57 | 3057 | Maître.sse de conférence | [[ 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 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~ryckelynck/ | Ryckelynck Eva ]] | [[eva.ryckelynck@irif.fr|@]] | 01 57 27 92 74 | 4003 | Responsable administratif | | | | [[ https://www.irif.fr/~sakarovitch/ | Sakarovitch Jacques ]] | [[Jacques.Sakarovitch@irif.fr|@]] | 01 57 27 92 60 | 4054 | Directeur.rice de recherche émérite - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~sangnier/main-sangnier.html | Sangnier Arnaud ]] | [[Arnaud.Sangnier@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~santha/ | Santha Miklos ]] | [[Miklos.SANTHA@irif.fr|@]] | 01 57 27 94 03 | 4024 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~saurin | Saurin Alexis ]] | [[Alexis.Saurin@irif.fr|@]] | 01 57 27 93 37 | 3040 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/~nschaban | Schabanel Nicolas ]] | [[nicolas.schabanel@cnrs.fr - Nicolas.Schabanel@irif.fr|@]] | 01 57 27 92 41 | 4008b | Membre associé.e - Associé à l'IRIF | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~serre/ | Serre Olivier ]] | [[Olivier.SERRE@irif.fr|@]] | 01 57 27 94 18 | 4029 | Directeur.rice de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~yixin.shen/ | Shen Yixin ]] | [[Yixin.Shen@irif.fr|@]] | | 4031 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~sighirea/ | Sighireanu Mihaela ]] | [[Mihaela.SIGHIREANU@irif.fr|@]] | 01 57 27 94 01 | 4021 | Maître.sse de conférence | [[ 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 | Professeur.e - Cristina.Sirangelo@irif.fr | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~sozeau | Sozeau Matthieu ]] | [[Matthieu.Sozeau@irif.fr|@]] | 01 57 27 94 15 | 3019 | Chargé.e de recherche - INRIA | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://assert-false.net/arnaud/ | Spiwack Arnaud ]] | [[arnaud@spiwack.net|@]] | | | Membre associé.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://stefanesco.com | Stefanesco Leo ]] | [[Leo.Stefanesco@irif.fr|@]] | 01 57 27 92 92 | 3026 | Doctorant.e avec mission d'enseignement | [[ 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/~steiner/ | Steiner Wolfgang ]] | [[Wolfgang.Steiner@irif.fr|@]] | 01 57 27 92 33 | 4044 | Chargé.e de recherche - 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/~tasson | Tasson Christine ]] | [[Christine.Tasson@irif.fr|@]] | 01 57 27 93 37 | 3040 | Maître.sse de conférence | [[ 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/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~thepenier/ | Thepenier Florence ]] | [[Florence.Thepenier@irif.fr|@]] | 01 57 27 92 49 | 4002 | Responsable gestion financière | | | | [[ https://www.irif.fr/~treinen | Treinen Ralf ]] | [[Ralf.Treinen@irif.fr|@]] | 01 57 27 92 44 | 3021 | Professeur.e | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~valiron/ | Valiron Benoit ]] | [[Benoit.Valiron@irif.fr|@]] | | | Membre associé.e | [[ 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/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~bvallee/ | Vallee Brigitte ]] | [[Brigitte.Vallee@irif.fr|@]] | | 4017 | Membre associé.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] | | [[ https://who.rocq.inria.fr/Laurent.Viennot/ | Viennot Laurent ]] | [[Laurent.Viennot@irif.fr|@]] | 01 57 27 92 50 | 3016 | Directeur.rice de recherche - INRIA | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~vimont/ | Vimont Guillaume ]] | [[Guillaume.Vimont@irif.fr|@]] | | 4041 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~vouillon | Vouillon Jérôme ]] | [[Jerome.Vouillon@irif.fr|@]] | 01 57 27 92 58 | 3022 | Chargé.e de recherche - CNRS (en disponibilité) | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ https://www.irif.fr/~wangch/ | Wang Chao ]] | [[Chao.Wang@irif.fr|@]] | 01 57 27 94 07 | 4032 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~wangzhou4/ | Wang Zhouningxin ]] | [[Zhouningxin.Wang@irif.fr|@]] | | 3055 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~dxiao/ | Xiao David ]] | [[David.Xiao@irif.fr|@]] | | | Chargé.e de recherche - CNRS (en disponibilité) | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] | | [[ https://www.irif.fr/~ryassawi/ | Yassawi Reem ]] | [[Reem.Yassawi@irif.fr|@]] | 01 57 27 92 59 | 4049 | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~yunes/ | Yunès Jean-Baptiste ]] | [[Jean-Baptiste.Yunes@irif.fr|@]] | 01 57 27 92 62 | 4047 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~ddeggzmc/ | ZOU Mengchuan ]] | [[Mengchuan.Zou@irif.fr|@]] | | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://upsilon.cc/~zack/ | Zacchiroli Stefano ]] | [[zack@irif.fr|@]] | 01 57 27 94 15 | 3019 | Maître.sse de conférence | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] | | [[ http://zetzsche.xyz/ | Zetzsche Georg ]] | [[zetzsche@irif.fr|@]] | 01 57 27 94 07 | 4032 | Post-Doctorant.e | [[ 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|@]] | 01 57 27 94 51 | 3015 | Professeur.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ http://www.theozimmermann.net | Zimmermann Theo ]] | [[Theo.Zimmermann@irif.fr|@]] | 01 57 27 92 28 | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] | | [[ https://www.irif.fr/users/fm/index | de Montgolfier Fabien ]] | [[Fabien.De-MONTGOLFIER@irif.fr|@]] | 01 57 27 92 32 | 4018 | Maître.sse de conférence | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/gang/index | gang ]], [[ https://www.irif.fr/equipes/compsys/index | compsys ]], [[ https://www.irif.fr/equipes/graphes/index | graphes ]] | | [[ https://www.irif.fr/~deraugla/ | de Rauglaudre Daniel ]] | [[Daniel.de-Rauglaudre@irif.fr|@]] | 01 57 27 90 86 | 3030 | Informaticien.ne | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/pi.r2/index | pi.r2 ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |