<datatables page-length="-1" dom="frt">
^Nom^@^Téléphone^Bureau^Fonction^Pôle^Équipe^
| [[ 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/~gio/index.xhtml | Bernardi Giovanni ]] | [[Giovanni.Bernardi@irif.fr|@]] | 01 57 27 94 29 | 3012 | 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/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 | Professeur.e | [[ 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 | 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/~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://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 | 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/~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/~haberm | Habermehl Peter ]] | [[Peter.HABERMEHL@irif.fr|@]] | 01 57 27 92 68 | 3009 | 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/~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/~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/~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/~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/~mahsa/ | Shirmohammadi Mahsa ]] | [[Mahsa.Shirmohammadi@irif.fr|@]] | 01 57 27 94 18 | 4029 | 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/~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/programmes/index | programmes ]], [[ https://www.irif.fr/equipes/verif/index | verif ]] |
</datatables>