<datatables page-length="-1" dom="frt">
^Nom^@^Téléphone^Bureau^Fonction^Pôle^Équipe^
| [[ https://www.irif.fr/~abbes | Abbes Samy ]] | [[samy.abbes@univ-paris-diderot.fr|@]] | 01 57 27 92 37 | 3046 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://jean.abou-samra.fr | Abou-Samra Jean ]] | [[Jean.Abou-Samra@irif.fr|@]] | 07 82 52 98 36 |  | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://ridaaitelmanssour.com/ | Ait-El-Manssour Rida ]] | [[Rida.Ait-El-Manssour@irif.fr|@]] |  | 4053 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~malbenque/ | Albenque Marie ]] | [[Marie.Albenque@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/combi/index | combi ]] |
| [[ 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://simonapers.github.io | Apers Simon ]] | [[Simon.Apers@irif.fr|@]] | 01 57 27 94 01 | 4026 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~arambillete/ | Arambillete Santiago ]] | [[Santiago.Arambillete@irif.fr|@]] |  | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://www.irif.fr/~arana/ | Arana Carmen ]] | [[Carmen.Arana@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://quentin.aristote.fr/ | Aristote Quentin ]] | [[Quentin.Aristote@irif.fr|@]] |  | 3010 | 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/picube/index | picube ]] |
| [[ https://www.irif.fr/users/arrial/index | Arrial Victor ]] | [[Victor.Arrial@irif.fr|@]] |  | 3018 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ 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/~avci/ | Avci Omur ]] | [[Omur.Avci@irif.fr|@]] | 01 57 27 92 83 | 4001 | Gestionnaire |  |  |
| [[ https://www.irif.fr/~barbe/ | Barbe Killian ]] | [[Killian.Barbe@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~baudart/ | Baudart Guillaume ]] | [[Guillaume.Baudart@irif.fr|@]] |  | 4026 | Chargé.e de recherche - INRIA ISFP | [[ 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/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~ebauer/ | Bauer Esaie ]] | [[Esaie.Bauer@irif.fr|@]] |  | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ http://nicolasbehr.com | Behr Nicolas ]] | [[Nicolas.Behr@irif.fr|@]] | 01 57 27 90 85 | 3030 | 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 ]] |
| [[ https://www.irif.fr/~belloundja/ | Belloundja Abdelkader ]] | [[Abdelkader.Belloundja@irif.fr|@]] |  |  | Stagiaire | [[ 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/equipes/algebre/index | algebre ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~bendali/ | Ben-Dali Houcine ]] | [[Houcine.Ben-Dali@irif.fr|@]] |  | 4057 | Doctorant.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/~bermot/ | Bermot Elie ]] | [[Elie.Bermot@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/~gio/index.xhtml | Bernardi Giovanni ]] | [[Giovanni.Bernardi@irif.fr|@]] | 01 57 27 93 38 | 4021 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ 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/~bigeon/ | Bigeon Emmanuel ]] | [[Emmanuel.Bigeon@irif.fr|@]] |  | 3018 | ATER | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~biziere/ | Biziere Clotilde ]] | [[Clotilde.Biziere@irif.fr|@]] |  | 4059 | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~blanchi/ | Blanchi Victor ]] | [[Victor.Blanchi@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~blazy/ | Blazy Vincent ]] | [[Vincent.Blazy@irif.fr|@]] |  | 3044 | Doctorant.e | [[ 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/~blin/ | Blin Lelia ]] | [[Lelia.Blin@irif.fr|@]] | 01 57 27 94 51 | 3015 | Professeur.e | [[ 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 | 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 | 4018 | Maître.sse de conférences |  |  |
| [[ https://www.irif.fr/~bouniard/ | Bouniard Yoan ]] | [[Yoan.Bouniard@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~boutglay/ | Boutglay Wael-Amine ]] | [[boutglay@irif.fr|@]] |  | 4059 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~brasseur/ | Brasseur Leopold ]] | [[Leopold.Brasseur@irif.fr|@]] |  |  | Stagiaire | [[ 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/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~buccia | Bucciarelli Antonio ]] | [[Antonio.Bucciarelli@irif.fr|@]] | 01 57 27 94 33 | 3045 | Maître.sse de conférences | [[ 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://dungbui15.github.io/ | Bui Thi-Thuy-Dung ]] | [[Bui@irif.fr|@]] |  | 3014 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~caizergues/ | Caizergues Emma ]] | [[Emma.Caizergues@irif.fr|@]] |  | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~calvi/ | Calvi Juliette ]] | [[Juliette.Calvi@irif.fr|@]] | 01 57 27 92 26 | 4005 | Assistant.e - Communication |  |  |
| [[ https://www.irif.fr/~carozza/ | Carozza Eliana ]] | [[Eliana.Carozza@irif.fr|@]] |  | 3014 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ 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/~acasares/ | Casares Antonio ]] | [[Antonio.Casares@irif.fr|@]] |  | 3042 | Doctorant.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/~castro/ | Castro Felix ]] | [[Felix.Castro@irif.fr|@]] |  | 3026 | Doctorant.e | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://www.irif.fr/~catz/ | Catz Manu ]] | [[Manu.Catz@irif.fr|@]] |  | 4055 | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://www.irif.fr/~chapuy | Chapuy Guillaume ]] | [[Guillaume.Chapuy@irif.fr|@]] | 01 57 27 94 04 | 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/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~charbit/ | Charbit Pierre ]] | [[Pierre.Charbit@irif.fr|@]] | 01 57 27 92 41 | 4008b | Maître.sse de conférences | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~elmehdi/ | Cherradi El-Mehdi ]] | [[El-Mehdi.Cherradi@irif.fr|@]] |  | 3044 | 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/~cc/ | Choffrut Christian ]] | [[Christian.Choffrut@irif.fr|@]] | 01 57 27 94 45 | 4007 | Professeur.e émérite | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~chouai/ | Chouai Salim ]] | [[Salim.Chouai@irif.fr|@]] |  | 4060 | Visiteur.euse | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~jch | Chroboczek Juliusz ]] | [[Juliusz.Chroboczek@irif.fr|@]] | 01 57 27 92 37 | 3046 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~eclement/ | Clement Emily ]] | [[Emily.Clement@irif.fr|@]] |  | 3028 | ATER | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ 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://arriopolis.github.io/ | Cornelissen Arjan ]] | [[Arjan.Cornelissen@irif.fr|@]] |  | 4058 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~corteel | Corteel Sylvie ]] | [[Sylvie.Corteel@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/combi/index | combi ]] |
| [[ https://www.irif.fr/~cosson/ | Cosson Raphael ]] | [[Raphael.Cosson@irif.fr|@]] |  | 3028 | ATER | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ http://geoffroycouteau.fr/ | Couteau Geoffroy ]] | [[Geoffroy.Couteau@irif.fr|@]] | 01 57 27 92 45 | 3041 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~crabtree/ | Crabtree Owen ]] | [[Owen.Crabtree@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~csikos/ | Csikos Monika ]] | [[Monika.Csikos@irif.fr|@]] |  | 3036 | Maître.sse de conférences | [[ 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 | Directeur.rice de recherche émérite - 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 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~danilkin/ | Danilkin Anton ]] | [[Anton.Danilkin@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://sites.google.com/view/avinandan/home | Das Avinandan ]] | [[Avinandan.Das@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/equipes/distribue/index | distribue ]] |
| [[ https://www.irif.fr/~defaveri/ | De Faveri Arturo ]] | [[Arturo.De-Faveri@irif.fr|@]] |  | 4033 | 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/users/fm/index | De Montgolfier Fabien ]] | [[fm@irif.fr|@]] | 01 57 27 92 41 | 4008b | Maître.sse de conférences | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://depanafieuelie.w3spaces.com | De Panafieu Elie ]] | [[Elie.De-Panafieu@irif.fr|@]] |  |  | Membre associé.e | [[ 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 émérite - Université Paris 2 | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~lacerda/ | De-Lacerda-Werneck Maria-Clara ]] | [[Maria-Clara.De-Lacerda-Werneck@irif.fr|@]] |  |  | Stagiaire | [[ 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/~adegorre/ | Degorre Aldric ]] | [[Aldric.Degorre@irif.fr|@]] | 01 57 27 92 32 | 4018 | Maître.sse de conférences | [[ 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 | Professeur.e - directrice  UFR informatique | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/distribue/index | distribue ]] |
| [[ https://www.irif.fr/~devillers/ | Devillers Cedric ]] | [[cedric.devillers@irif.fr|@]] | 01 57 27 92 19 | 3054 | Informaticien.ne |  |  |
| [[ http://www.dicosmo.org | Di Cosmo Roberto ]] | [[roberto@dicosmo.org|@]] |  |  | 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/~didonna/ | Di Donna Raffaele ]] | [[didonna@irif.fr|@]] |  | 3010 | 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/~djuric/ | Djuric Alen ]] | [[Alen.Djuric@irif.fr|@]] |  | 3033 | Post-Doctorant.e | [[ 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/users/doueneau/index | Douéneau Gaëtan ]] | [[Gaetan.Doueneau@irif.fr|@]] |  | 3034 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~douteau/ | Douteau Sylvain ]] | [[Sylvain.Douteau@irif.fr|@]] |  | 3030 | Maître.sse de conférences | [[ 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/~gduboc/ | Duboc Guillaume ]] | [[Guillaume.Duboc@irif.fr|@]] |  | 3010 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~duchi/ | Duchi Enrica ]] | [[Enrica.DUCHI@irif.fr|@]] | 01 57 27 92 33 | 4044  | Maître.sse de conférences | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://clement-ducros.github.io/ | Ducros Clement ]] | [[Clement.Ducros@irif.fr|@]] |  | 3028 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.logiqueconsult.eu | Dzamonja Mirna ]] | [[Mirna.Dzamonja@irif.fr|@]] | 01 57 27 92 51 | 3047 | Membre associé.e - Chercheuse projet UE | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~edenhofer/ | Edenhofer Roman ]] | [[edenhofer@irif.fr|@]] |  | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://christoph-egger.org/ | Egger Christoph ]] | [[Christoph.Egger@irif.fr|@]] |  | 3036 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ 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/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~erlich/ | Erlich Enzo ]] | [[Enzo.Erlich@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]], [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~faggian | Faggian Claudia ]] | [[Claudia.Faggian@irif.fr|@]] | 01 57 27 90 86 | 3032 | 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 ]] |
| [[ https://www.irif.fr/~hf | Fauconnier Hugues ]] | [[Hugues.Fauconnier@irif.fr|@]] | 01 57 27 92 25 | 4006 | Professeur.e émérite | [[ 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 | Maître.sse de conférences | [[ 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/~fiorillo/ | Fiorillo Guido ]] | [[Guido.Fiorillo@irif.fr|@]] |  |  | Stagiaire | [[ 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/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~flin/ | Flin Jules ]] | [[Jules.Flin@irif.fr|@]] |  | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~mfortin/ | Fortin Marie ]] | [[Marie.Fortin@irif.fr|@]] | 01 57 27 94 00 | 4016 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://mo-f.github.io/Mo-F/ | Foughali Mohammed ]] | [[foughali@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférences | [[ 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 | 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/distribue/index | distribue ]] |
| [[ https://www.irif.fr/~franchiset/ | Franchiset Laurence ]] | [[Laurence.Franchiset@irif.fr|@]] |  | 4005 | Assistant.e - Communication |  |  |
| [[ https://www.irif.fr/~cf | Frougny Christiane ]] | [[Christiane.FROUGNY@irif.fr|@]] |  |  | Retraité.e - Université Paris 8 | [[ 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/~gallego/ | Gallego Emilio ]] | [[Emilio.Gallego@irif.fr|@]] | 01 57 27 92 24 | 4030 | Starting research position - INRIA | [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://www.irif.fr/~gaucher | Gaucher Philippe ]] | [[Philippe.Gaucher@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://geoffroy.re | Geoffroy Guillaume ]] | [[Guillaume.Geoffroy@irif.fr|@]] | 01 57 27 94 15 | 3019 | Maître.sse de conférences | [[ 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 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~giusti/ | Giusti Giulia ]] | [[Giulia.Giusti@irif.fr|@]] |  | 4055 | 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/~gonzalez/ | Gonzalez Colin ]] | [[Colin.Gonzalez@irif.fr|@]] |  | 3044 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~hgoulet/ | Goulet-Ouellet Herman ]] | [[Herman.Goulet-Ouellet@irif.fr|@]] |  | 4056 | Post-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/~goyal/ | Goyal Rohan ]] | [[Rohan.Goyal@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~guatto/ | Guatto Adrien ]] | [[Adrien.Guatto@irif.fr|@]] | 01 57 27 94 15 | 3019 | Maître.sse de conférences | [[ 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 | 3032 | Professeur.e émérite - 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/~guillou/ | Guillou Lucie ]] | [[Lucie.Guillou@irif.fr|@]] |  | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~haberm | Habermehl Peter ]] | [[Peter.HABERMEHL@irif.fr|@]] | 01 57 27 92 58 | 3022 | Maître.sse de conférences | [[ 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 émérite | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~hhan/ | Han Helene ]] | [[Helene.Han@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~jhe/ | He Jingxiang ]] | [[Jingxiang.He@irif.fr|@]] |  | 4059 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~henriet/ | Henriet Corentin ]] | [[Corentin.Henriet@irif.fr|@]] |  | 4033 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ 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/picube/index | picube ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~horch/ | Horch Milo ]] | [[Milo.Horch@irif.fr|@]] |  | 4059 | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ 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/~huyining/ | Hu Yining ]] | [[Yining.Hu@irif.fr|@]] |  | 3036 | Visiteur.euse | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~iarifina/ | Iarifina Marie-Josée ]] | [[Marie-Josee.Iarifina@irif.fr|@]] |  |  | Responsable gestion financière |  |  |
| [[ https://www.irif.fr/~idir/ | Idir Olivier ]] | [[Olivier.Idir@irif.fr|@]] |  | 4033 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~jacoboinclan/ | Jacobo-Inclan Bernardo ]] | [[Bernardo.Jacobo-Inclan@irif.fr|@]] |  | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://sites.google.com/site/farzadjafarrahmani/ | Jafar-Rhamani Farzad ]] | [[Farzad.Jafar-Rhamani@irif.fr|@]] | 01 57 27 92 92 | 3026 | Post-Doctorant.e | [[ 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/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~ajaquard/ | Jaquard Arthur ]] | [[ajaquard@irif.fr|@]] |  | 3044 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~joly | Joly Thierry ]] | [[Thierry.Joly@irif.fr|@]] | 01 57 27 92 55 | 3049 | Maître.sse de conférences | [[ 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 | 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/~jubert/ | Jubert Moana ]] | [[Moana.Jubert@irif.fr|@]] |  | 3034 | Doctorant.e | [[ 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/~vjuge/ | Jugé Vincent ]] | [[vjuge@irif.fr|@]] |  | 4049 | Visiteur.euse | [[ 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 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~kachler/ | Kachler Dimitri ]] | [[Dimitri.Kachler@irif.fr|@]] |  |  | Stagiaire | [[ 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/~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/~kniazev/ | Kniazev Roman ]] | [[Roman.Kniazev@irif.fr|@]] |  | 3018 | ATER | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://alex-koch.gitlab.io/ | Koch Alexander ]] | [[Alexander.Koch@irif.fr|@]] |  | 4058 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~kochdumper/ | Kochdumper Niklas ]] | [[Niklas.Kochdumper@irif.fr|@]] |  | 3057 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~pandit/ | Korman Amos ]] | [[pandit@irif.fr|@]] | 01 57 27 94 06 | 4028 | Directeur.rice de recherche - CNRS - Currently on sabbatical at FILOFOCS | [[ 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/~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|@]] |  |  | Chargé.e de recherche - CNRS - Currently on leave | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~kuffner/ | Kuffner Luis ]] | [[Luis.Kuffner@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~kuoy/ | Kuoy Houy ]] | [[Houy.Kuoy@irif.fr|@]] | 01 57 27 92 19 | 3054 | Informaticien.ne |  |  |
| [[ https://www.irif.fr/~lancelot/ | Lancelot Adrienne ]] | [[Adrienne.Lancelot@irif.fr|@]] |  | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ 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 | 4034 | Professeur.e | [[ 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/~larroque/ | Larroque Emile ]] | [[Emile.Larroque@irif.fr|@]] |  |  | Stagiaire | [[ 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/~mlaurent | Laurent Mickael ]] | [[mlaurent@irif.fr|@]] |  | 3033 | Doctorant.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/~lechine/ | Lechine Ulysse ]] | [[Ulysse.Lechine@irif.fr|@]] |  | 3028 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~ledent/ | Ledent Jeremy ]] | [[Jeremy.Ledent@irif.fr|@]] |  | 3022 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~lesellier/ | Lesellier Maximilien ]] | [[Maximilien.Lesellier@irif.fr|@]] | 01 57 27 92 74 | 4003a | Responsable administratif |  |  |
| [[ https://www.irif.fr/~letouzey | Letouzey Pierre ]] | [[Pierre.Letouzey@irif.fr|@]] | 01 57 27 93 37 | 3040 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/picube/index | picube ]], [[ https://www.irif.fr/equipes/systemes/index | systemes ]], [[ 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/systemes/index | systemes ]], [[ https://www.irif.fr/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~rli/ | Li Rui ]] | [[Rui.Li@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ http://libk.in | Libkin Leonid ]] | [[Leonid.Libkin@irif.fr|@]] |  | 3042 | Membre associé.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~alopez/ | Lopez Aliaume ]] | [[Aliaume.Lopez@irif.fr|@]] |  | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~glopez/ | Lopez Gaetan ]] | [[Gaetan.Lopez@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~loulergue/ | Loulergue Erwann ]] | [[Erwann.Loulergue@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ http://lovejoy.perso.math.cnrs.fr/ | Lovejoy Jeremy ]] | [[Jeremy.Lovejoy@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/combi/index | combi ]] |
| [[ https://www.irif.fr/~luce/ | Luce Mael ]] | [[Mael.Luce@irif.fr|@]] |  | 3014 | Doctorant.e | [[ 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/~magniez/ | Magniez Frédéric ]] | [[frederic.magniez@irif.fr|@]] | 01 57 27 94 02 | 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/~manara/ | Manara Giulia ]] | [[Giulia.Manara@irif.fr|@]] |  | 3014 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://www.irif.fr/~manet/ | Manet Hugo ]] | [[Hugo.Manet@irif.fr|@]] |  | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~mantaci/ | Mantaci Roberto ]] | [[Roberto.Mantaci@irif.fr|@]] | 01 57 27 92 62 | 4047 | Maître.sse de conférences | [[ 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 | 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://jeremie-marques.name/ | Marques Jeremie ]] | [[Jeremie.Marques@irif.fr|@]] |  | 3028 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~martinez/ | Martinez Thierry ]] | [[Thierry.Martinez@irif.fr|@]] | 01 57 27 90 87 | 3029 | Ingénieur.e de recherche - 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 ]] |
| [[ marzaioli@irif.fr | Marzaioli Miriam ]] | [[Miriam.Marzaioli@irif.fr|@]] |  | 4055 | 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/~tomazm/ | Mascarenhas Tomaz ]] | [[Tomaz.Mascarenhas@irif.fr|@]] |  | 3054 | Ingénieur.e de recherche |  |  |
| [[ 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 | Directeur.rice de recherche - 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 | Maître.sse de conférences émérite - 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 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~milicich/ | Milicich Mariana ]] | [[Mariana.Milicich@irif.fr|@]] |  | 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/~vmitsou/ | Mitsou Valia ]] | [[vmitsou@irif.fr|@]] | 01 57 27 94 45 | 4034a | Maître.sse de conférences | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~moreau/ | Moreau Vincent ]] | [[moreau@irif.fr|@]] |  | 4033 | 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/picube/index | picube ]], [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://srinidhin.com | Nagendra Srinidhi ]] | [[Srinidhi.Nagendra@irif.fr|@]] |  | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~reza/pmwiki/pmwiki.php | Naserasr Reza ]] | [[Reza.Naserasr@irif.fr|@]] | 01 57 27 92 24 | 4026 | 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/~natansh/ | Natansh Mathur ]] | [[Mathur.Natansh@irif.fr|@]] |  | 4056 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~yndiaye/ | Ndiaye Yves ]] | [[Yves.Ndiaye@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~shamisa/ | Nematollahi Shamisa ]] | [[Shamisa@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/~mnguyen/ | Nguyen Mathieu ]] | [[Mathieu.Nguyen@irif.fr|@]] |  |  | Ingénieur d'étude | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~mhnguyen/ | Nguyen Minh-Hang ]] | [[Minh-Hang.Nguyen@irif.fr|@]] |  | 4031 | Doctorant.e | [[ 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/~nosan/ | Nosan Klara ]] | [[nosan@irif.fr|@]] |  | 4031 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~astyax/ | Nourel Astyax ]] | [[Astyax.Nourel@irif.fr|@]] |  | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/systemes/index | systemes ]] |
| [[ https://www.irif.fr/~objois/ | Objois Etienne ]] | [[objois@irif.fr|@]] |  | 4059 | Doctorant.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/~ollinger/ | Ollinger Nicolas ]] | [[Nicolas.Ollinger@irif.fr|@]] |  | 4054 | Visiteur.euse | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~orru/ | Orru Michele ]] | [[Michele.Orru@irif.fr|@]] |  | 4027 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~osorio/ | Osorio Daniel ]] | [[Daniel.Osorio@irif.fr|@]] |  |  | Stagiaire | [[ 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/equipes/picube/index | picube ]] |
| [[ https://www.irif.fr/~padovani | Padovani Vincent ]] | [[Vincent.Padovani@irif.fr|@]] | 01 57 27 93 39 | 3045 | Maître.sse de conférences | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/preuves/index | preuves ]] |
| [[ https://www.irif.fr/~pang/ | Pang Xinhong ]] | [[Xinhong.Pang@irif.fr|@]] |  | 4031 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~pasquale/ | Pasquale Valentin ]] | [[Valentin.Pasquale@irif.fr|@]] |  |  | 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/~ibiapina/ | Passos-Ibiapina Allen-Roossim ]] | [[Allen-Roossim.Passos-Ibiapina@irif.fr|@]] |  | 4053 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~sperifel/ | Perifel Sylvain ]] | [[Sylvain.Perifel@irif.fr|@]] | 01 57 27 92 29 | 4017 | Maître.sse de conférences | [[ 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 ]] |
| [[ https://www.irif.fr/~petrisan/ | Petrisan Daniela ]] | [[Daniela.Petrisan@irif.fr|@]] | 01 57 27 94 00 | 4016 | Maître.sse de conférences | [[ 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/~lpeyrot/ | Peyrot Loïc ]] | [[Loic.Peyrot@irif.fr|@]] | 01 57 27 92 92 | 3010 | 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/~picantin/ | Picantin Matthieu ]] | [[picantin@irif.fr|@]] | 01 57 27 94 49 | 4043 | Maître.sse de conférences | [[ 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 émérite - 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 | Maître.sse de conférences | [[ 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|@]] |  |  | Chargé.e de recherche - CNRS  - Currently on leave | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://sihangpu.uk | Pu Sihang ]] | [[sihang.pu@irif.fr|@]] |  | 3057 | Post-Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~rabie/ | Rabie Mikael ]] | [[Mikael.Rabie@irif.fr|@]] | 01 57 27 93 38 | 4021 | Maître.sse de conférences | [[ 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/~rabinovitch/ | Rabinovitch Alexander ]] | [[Alexander.Rabinovitch@irif.fr|@]] |  | 4025 | Visiteur.euse | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~rajsbaum/ | Rajsbaum Sergio ]] | [[Sergio.Rajsbaum@irif.fr|@]] | 01 57 27 94 44 | 4048 | Membre associé.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/distribue/index | distribue ]] |
| [[ https://boilnkettle.github.io/ | Ramos Miguel ]] | [[Miguel.Ramos@irif.fr|@]] |  | 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/~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/~reboullet/ | Reboullet Sarah ]] | [[Sarah.Reboullet@irif.fr|@]] |  | 3034 | Doctorant.e | [[ 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/~frenkin/index.php | Renkin Florian ]] | [[Florian.Renkin@irif.fr|@]] |  | 3028 | ATER | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~rogova/ | Rogova Alexandra ]] | [[rogova@irif.fr|@]] |  | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~calvo/ | Roman-Calvo Enrique ]] | [[Enrique.Roman-Calvo@irif.fr|@]] |  | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ 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/~roziere | Rozière Paul ]] | [[Paul.Roziere@irif.fr|@]] | 01 57 27 92 57 | 3057 | Retraité.e - 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 | 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/~safir/ | Safir Mouna ]] | [[Mouna.Safir@irif.fr|@]] |  | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/distribue/index | distribue ]] |
| [[ https://www.irif.fr/~sakarovitch/ | Sakarovitch Jacques ]] | [[Jacques.Sakarovitch@irif.fr|@]] | 01 57 27 90 86 | 3032 | 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/~salibra/ | Salibra Antonino ]] | [[salibra@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/~salvy/ | Salvy Zephyr ]] | [[Zephyr.Salvy@irif.fr|@]] |  |  | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~samtchar/ | Samtchar Jemuel ]] | [[Jemuel.Samtchar@irif.fr|@]] | 01 57 27 94 11 | 4001 | Gestionnaire |  |  |
| [[ https://www.irif.fr/~santamaria/ | Santamaria Marco ]] | [[Marco.Santamaria@irif.fr|@]] |  |  | Stagiaire | [[ 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/~santha/ | Santha Miklos ]] | [[Miklos.SANTHA@irif.fr|@]] |  | 4041 | Directeur.rice de recherche émérite - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~sarma/ | Sarma Rishabh ]] | [[Rishabh.Sarma@irif.fr|@]] |  | 4055 | Visiteur.euse | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~saulpic/ | Saulpic David ]] | [[David.Saulpic@irif.fr|@]] |  | 4029a | Chargé.e de recherche - 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 | 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/equipes/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/picube/index | picube ]] |
| [[ http://gallium.inria.fr/~scherer/ | Scherer Gabriel ]] | [[Gabriel.Scherer@irif.fr|@]] |  | 4032 | 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/systemes/index | systemes ]], [[ 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 | Professeur.e | [[ 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/~sellier/ | Sellier Francois ]] | [[Francois.Sellier@irif.fr|@]] |  |  | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ 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/~mahsa/ | Shirmohammadi Mahsa ]] | [[Mahsa.Shirmohammadi@irif.fr|@]] | 01 57 27 92 29 | 4017 | Chargé.e de recherche - 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 | Professeur.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~matej/ | Stehlik Matej ]] | [[Matej.Stehlik@irif.fr|@]] | 01 57 27 93 36 | 4008 | Professeur.e | [[ 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 | 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/~stietel/ | Stietel Olivier ]] | [[Olivier.Stietel@irif.fr|@]] |  | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~ysun/ | Sun Yun ]] | [[Yun.Sun@irif.fr|@]] |  | 4057 | 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/~susairaj/ | Susairaj Marie-Laure ]] | [[Marie-Laure.Susairaj@irif.fr|@]] | 01 57 27 94 08 | 4001 | Gestionnaire |  |  |
| [[ https://www.irif.fr/~szabo/ | Szabo Daniel ]] | [[Daniel.Szabo@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/~szafarczyk/ | Szafarczyk Artur ]] | [[Artur.Szafarczyk@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~themelis/ | Themelis Alexandros ]] | [[Alexandros.Themelis@irif.fr|@]] |  | 3010 | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~theron/ | Theron Clement ]] | [[Clement.Theron@irif.fr|@]] |  | 4060 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~tokka/ | Tokka Nicolas ]] | [[Nicolas.Tokka@irif.fr|@]] |  | 3035 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~torfs/ | Torfs Renaud ]] | [[Renaud.Torfs@irif.fr|@]] |  | 4031 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~touili/ | Touili Tayssir ]] | [[touili@irif.fr|@]] | 01 57 27 92 61 | 4028a | Directeur.rice de recherche | [[ 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 | 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/~rvacus/ | Vacus Robin ]] | [[Robin.Vacus@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/equipes/distribue/index | distribue ]] |
| [[ https://www.irif.fr/~bvallee/ | Vallee Brigitte ]] | [[Brigitte.Vallee@irif.fr|@]] | 01 57 27 92 41 | 4008b | Membre associé.e - DR CNRS émérite | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~wijland/ | Van-Wijland Ernest ]] | [[vanwijland@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ http://vanoni.me | Vanoni Gabriele ]] | [[Gabriele.Vanoni@irif.fr|@]] |  | 3018 | 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://who.rocq.inria.fr/Laurent.Viennot/ | Viennot Laurent ]] | [[Laurent.Viennot@irif.fr|@]] | 01 57 27 92 50 | 3042a | Membre associé.e - Directeur de recherche INRIA | [[ 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/~vienot/ | Vienot Ada ]] | [[Ada.Vienot@irif.fr|@]] |  | 3044 | Doctorant.e | [[ 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.adrianvladu.org | Vladu Adrian ]] | [[Adrian.Vladu@irif.fr|@]] | 01 57 27 92 45 | 3041 | Chargé.e de recherche - CNRS | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]] |
| [[ https://www.irif.fr/~walch/ | Walch Aymeric ]] | [[Aymeric.Walch@irif.fr|@]] |  | 3026 | Doctorant.e | [[ https://www.irif.fr/poles/pps/index | PPS ]] | [[ https://www.irif.fr/equipes/algebre/index | algebre ]] |
| [[ https://www.irif.fr/~winter | Winter Sarah ]] | [[Sarah.Winter@irif.fr|@]] |  | 4026 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~yahi/ | Yahi Younes ]] | [[Younes.Yahi@irif.fr|@]] |  | 3033 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/combi/index | combi ]] |
| [[ https://www.irif.fr/~dyilmaz/ | Yilmaz Deniz ]] | [[Deniz.Yilmaz@irif.fr|@]] |  | 3034 | Doctorant.e | [[ 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 | Maître.sse de conférences | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] |
| [[ https://www.irif.fr/~mzhang/ | Zhang Maryline ]] | [[Maryline.Zhang@irif.fr|@]] |  |  | Stagiaire | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |
| [[ https://www.irif.fr/~zhou/ | Zhou Huan ]] | [[zhou@irif.fr|@]] |  | 4057 | Doctorant.e | [[ https://www.irif.fr/poles/asd/index | ASD ]] | [[ https://www.irif.fr/equipes/graphes/index | graphes ]] |
| [[ https://www.irif.fr/~zielonka | Zielonka Wiesław ]] | [[Wieslaw.Zielonka@irif.fr|@]] |  | 3015 | Professeur.e émérite | [[ 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 | Maître.sse de conférences | [[ 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 ]] |
</datatables>