^Name^@^Phone^Office^Position^Pole^Team^ | [[ https://jean.abou-samra.fr | Abou-Samra Jean ]] | [[Jean.Abou-Samra@irif.fr|@]] | 07 82 52 98 36 | | Intern | [[ 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-Doc | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://quentin.aristote.fr/ | Aristote Quentin ]] | [[Quentin.Aristote@irif.fr|@]] | | 3010 | PhD Student | [[ 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/~barbe/ | Barbe Killian ]] | [[Killian.Barbe@irif.fr|@]] | | | Intern | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~bigeon/ | Bigeon Emmanuel ]] | [[Emmanuel.Bigeon@irif.fr|@]] | | 3018 | Teaching and Research Assistant | [[ 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 | Intern | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~boutglay/ | Boutglay Wael-Amine ]] | [[boutglay@irif.fr|@]] | | 4059 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~acasares/ | Casares Antonio ]] | [[Antonio.Casares@irif.fr|@]] | | 3042 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~elmehdi/ | Cherradi El-Mehdi ]] | [[El-Mehdi.Cherradi@irif.fr|@]] | | 3044 | PhD Student | [[ 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/~chouai/ | Chouai Salim ]] | [[Salim.Chouai@irif.fr|@]] | | 4060 | Visitor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~eclement/ | Clement Emily ]] | [[Emily.Clement@irif.fr|@]] | | 3028 | Teaching and Research Assistant | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~lacerda/ | De-Lacerda-Werneck Maria-Clara ]] | [[Maria-Clara.De-Lacerda-Werneck@irif.fr|@]] | | | Intern | [[ 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/users/doueneau/index | Douéneau Gaëtan ]] | [[Gaetan.Doueneau@irif.fr|@]] | | 3034 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.logiqueconsult.eu | Dzamonja Mirna ]] | [[Mirna.Dzamonja@irif.fr|@]] | 01 57 27 92 51 | 3047 | Associated Member - Chercheuse projet UE | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~erlich/ | Erlich Enzo ]] | [[Enzo.Erlich@irif.fr|@]] | | | Intern | [[ 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/~hgoulet/ | Goulet-Ouellet Herman ]] | [[Herman.Goulet-Ouellet@irif.fr|@]] | | 4056 | Post-Doc | [[ 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/~guillou/ | Guillou Lucie ]] | [[Lucie.Guillou@irif.fr|@]] | | 4057 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~huyining/ | Hu Yining ]] | [[Yining.Hu@irif.fr|@]] | | 3036 | Visitor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~idir/ | Idir Olivier ]] | [[Olivier.Idir@irif.fr|@]] | | 4033 | PhD Student | [[ 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 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~ajaquard/ | Jaquard Arthur ]] | [[ajaquard@irif.fr|@]] | | 3044 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~kochdumper/ | Kochdumper Niklas ]] | [[Niklas.Kochdumper@irif.fr|@]] | | 3057 | Post-Doc | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~larroque/ | Larroque Emile ]] | [[Emile.Larroque@irif.fr|@]] | | | Intern | [[ 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/~alopez/ | Lopez Aliaume ]] | [[Aliaume.Lopez@irif.fr|@]] | | 3035 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~loulergue/ | Loulergue Erwann ]] | [[Erwann.Loulergue@irif.fr|@]] | | | Intern | [[ 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://jeremie-marques.name/ | Marques Jeremie ]] | [[Jeremie.Marques@irif.fr|@]] | | 3028 | Post-Doc | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~moreau/ | Moreau Vincent ]] | [[moreau@irif.fr|@]] | | 4033 | PhD Student | [[ 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 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~nosan/ | Nosan Klara ]] | [[nosan@irif.fr|@]] | | 4031 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~ollinger/ | Ollinger Nicolas ]] | [[Nicolas.Ollinger@irif.fr|@]] | | 4054 | Visitor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~rabinovitch/ | Rabinovitch Alexander ]] | [[Alexander.Rabinovitch@irif.fr|@]] | | 4025 | Visitor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~frenkin/index.php | Renkin Florian ]] | [[Florian.Renkin@irif.fr|@]] | | 3028 | Teaching and Research Assistant | [[ 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 | PhD Student | [[ 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 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~stietel/ | Stietel Olivier ]] | [[Olivier.Stietel@irif.fr|@]] | | 3035 | PhD Student | [[ 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 | PhD Student | [[ 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/~szafarczyk/ | Szafarczyk Artur ]] | [[Artur.Szafarczyk@irif.fr|@]] | | | Intern | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~dyilmaz/ | Yilmaz Deniz ]] | [[Deniz.Yilmaz@irif.fr|@]] | | 3034 | PhD Student | [[ 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|@]] | | | Intern | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |