^Name^@^Phone^Office^Position^Pole^Team^ | [[ 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/~berthe/ | Berthé Valérie ]] | [[Valerie.Berthe@irif.fr|@]] | 01 57 27 93 35 | 4014 | Senior Research Scientist - 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/~buffiere/ | Buffiere Hector ]] | [[Hector.Buffiere@irif.fr|@]] | | 4055 | 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/graphes/index | graphes ]] | | [[ https://www.irif.fr/~carton/ | Carton Olivier ]] | [[Olivier.Carton@irif.fr|@]] | 01 57 27 92 54 | 4037 | Professor | [[ 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|@]] | | 4054 | 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/~cc/ | Choffrut Christian ]] | [[Christian.Choffrut@irif.fr|@]] | 01 57 27 94 45 | 4007 | Professor Emeritus | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~colcombe/ | Colcombet Thomas ]] | [[Thomas.COLCOMBET@irif.fr|@]] | 01 57 27 94 32 | 4008a | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~werneck/ | De-Lacerda-Werneck Maria-Clara ]] | [[Maria-Clara.De-Lacerda-Werneck@irif.fr|@]] | | 3033 | 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/~erlich/ | Erlich Enzo ]] | [[Enzo.Erlich@irif.fr|@]] | | 3014 | 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/~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://www.irif.fr/~amelie/ | Gheerbrant Amelie ]] | [[Amelie.Gheerbrant@irif.fr|@]] | 01 57 27 94 46 | 4039 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ 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/~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/~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/~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/~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 ]] | | [[ http://libk.in | Libkin Leonid ]] | [[Leonid.Libkin@irif.fr|@]] | | 3042 | Professor - Chaire industrielle | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ 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/~mellies | Melliès Paul-André ]] | [[mellies@irif.fr|@]] | 01 57 27 92 48 | 3023 | Senior Research Scientist - 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/~iamcgham/ | Mollo-Cunningham Ignacio-Agustin ]] | [[Ignacio-Agustin.Mollo-Cunningham@irif.fr|@]] | | | Visitor | [[ 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://www.irif.fr/~passemard/ | Passemard Luc ]] | [[Luc.Passemard@irif.fr|@]] | | 4060 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~petrisan/ | Petrisan Daniela ]] | [[Daniela.Petrisan@irif.fr|@]] | 01 57 27 94 00 | 4016 | Associate Professor | [[ 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/~picantin/ | Picantin Matthieu ]] | [[picantin@irif.fr|@]] | 01 57 27 94 49 | 4043 | Associate Professor | [[ 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.pouly.fr | Pouly Amaury ]] | [[Amaury.Pouly@irif.fr|@]] | | | Research Scientist - CNRS - Currently on leave | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~gregaud/ | Regaud Gaetan ]] | [[Gaetan.Regaud@irif.fr|@]] | | | Intern | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~sakarovitch/ | Sakarovitch Jacques ]] | [[Jacques.Sakarovitch@irif.fr|@]] | 01 57 27 90 86 | 3032 | Senior Research Scientist Emeritus - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ 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/~serre/ | Serre Olivier ]] | [[Olivier.SERRE@irif.fr|@]] | 01 57 27 94 18 | 4029 | Senior Research Scientist - CNRS | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~cristina/ | Sirangelo Cristina ]] | [[Cristina.Sirangelo@irif.fr|@]] | 01 57 27 92 35 | 4042 | Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~steiner/ | Steiner Wolfgang ]] | [[Wolfgang.Steiner@irif.fr|@]] | 01 57 27 92 33 | 4044 | Research Scientist - 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/~tarantino/ | Tarantino Umberto ]] | [[Umberto.Tarantino@irif.fr|@]] | | 4060 | 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/~vansintjan/ | Van Sint Jan Nicolàs ]] | [[nicovsj@irif.fr|@]] | 07 68 11 74 69 | 3035 | PhD Student | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~winter | Winter Sarah ]] | [[Sarah.Winter@irif.fr|@]] | | 4026 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~wrigley/ | Wrigley Joshua ]] | [[Joshua.Wrigley@irif.fr|@]] | | 3018 | Post-Doc | [[ 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 ]] | | [[ http://yunes.informatique.univ-paris-diderot.fr/ | Yunès Jean-Baptiste ]] | [[Jean-Baptiste.Yunes@univ-paris-diderot.fr|@]] | 01 57 27 92 62 | 4047 | Associate Professor | [[ https://www.irif.fr/poles/asv/index | ASV ]] | [[ https://www.irif.fr/equipes/automates/index | automates ]] | | [[ https://www.irif.fr/~ablocki/ | Zablocki Jean ]] | [[Jean.Zablocki@irif.fr|@]] | | | Intern | [[ 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|@]] | | 3047 | Professor Emeritus | [[ 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 | Associate Professor | [[ 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 ]] |