^Name^@^Phone^Office^Position^Pole^Team^ | [[ https://www.irif.fr/~amara/ | Amara Mouloud ]] | [[Mouloud.Amara@irif.fr|@]] | | | Intern | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~asarin/ | Asarin Eugène ]] | [[Eugene.ASARIN@irif.fr|@]] | 01 57 27 92 34 | 4040 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~gio/index.xhtml | Bernardi Giovanni ]] | [[Giovanni.Bernardi@irif.fr|@]] | 01 57 27 94 29 | 3012 | Associate Professor | [[ 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/preuves/index | preuves ]], [[ https://www.irif.fr/equipes/programmes/index | programmes ]] | | [[ https://www.irif.fr/~abou/ | Bouajjani Ahmed ]] | [[Ahmed.Bouajjani@irif.fr|@]] | 01 57 27 92 64 | 4023 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~boutglay/ | Boutglay Wael-Amine ]] | [[boutglay@irif.fr|@]] | | 4059 | Teaching and Research Assistant | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~adegorre/ | Degorre Aldric ]] | [[Aldric.Degorre@irif.fr|@]] | 01 57 27 92 32 | 4018 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~mfortin/ | Fortin Marie ]] | [[Marie.Fortin@irif.fr|@]] | 01 57 27 94 00 | 4016 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://mo-f.github.io/Mo-F/ | Foughali Mohammed ]] | [[foughali@irif.fr|@]] | 01 57 27 94 49 | 4043 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~ig/ | Guessarian Irène ]] | [[Irene.GUESSARIAN@irif.fr|@]] | 01 57 27 92 59 | 3032 | Professor Emeritus - Sorbonne Université | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~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/~haberm | Habermehl Peter ]] | [[Peter.HABERMEHL@irif.fr|@]] | 01 57 27 92 68 | 3009 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~horn/ | Horn Florian ]] | [[Florian.HORN@irif.fr|@]] | 01 57 27 94 46 | 4039 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~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/~jurski/ | Jurski Yan ]] | [[jurski@irif.fr|@]] | 01 57 27 94 41 | 4027 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~francoisl/ | Laroussinie François ]] | [[Francois.Laroussinie@irif.fr|@]] | 01 57 27 92 42 | 4034 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~larroque/ | Larroque Emile ]] | [[Emile.Larroque@irif.fr|@]] | | 3033 | PhD Student | [[ https://www.irif.fr/poles/asd/index | ASD ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/algocomp/index | algocomp ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~laversa/ | Laversa Laetitia ]] | [[Laetitia.Laversa@irif.fr|@]] | | 3044 | Teaching and Research Assistant | [[ 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/~leclercq/ | Leclercq Loriane ]] | [[Loriane.Leclercq@irif.fr|@]] | | 3044 | Teaching and Research Assistant | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~shilin/ | Lin Shijie ]] | [[Shijie.Lin@irif.fr|@]] | | 3034 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~frenkin/index.php | Renkin Florian ]] | [[Florian.Renkin@irif.fr|@]] | | 3028 | Post-Doc | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ 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/~schmitz/ | Schmitz Sylvain ]] | [[Sylvain.Schmitz@irif.fr|@]] | 01 57 27 92 16 | 3048 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~mahsa/ | Shirmohammadi Mahsa ]] | [[Mahsa.Shirmohammadi@irif.fr|@]] | 01 57 27 94 18 | 4029 | Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~touili/ | Touili Tayssir ]] | [[touili@irif.fr|@]] | 01 57 27 92 61 | 4028a | Senior Research Scientist | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~treinen | Treinen Ralf ]] | [[Ralf.Treinen@irif.fr|@]] | 01 57 27 92 44 | 3021 | Professor | [[ https://www.irif.fr/poles/pps/index | PPS ]], [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] | | [[ https://www.irif.fr/~mzhang/ | Zhang Maryline ]] | [[Maryline.Zhang@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/~zhangeldinov/ | Zhangeldinov Olzhas ]] | [[Olzhas.Zhangeldinov@irif.fr|@]] | | 3028 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/verif/index | verif ]] |