Name@PhoneOfficePositionPoleTeam
Asarin Eugène @ 01 57 27 92 34 4040 Professor ASV verif
Bernardi Giovanni @ 01 57 27 94 29 3012 Associate Professor ASV , PPS verif , preuves , programmes
Berthé Valérie @ 01 57 27 93 35 4014 Senior Research Scientist - CNRS ASV , ASD automates , combi
Bouajjani Ahmed @ 01 57 27 92 64 4023 Professor ASV verif
Carton Olivier @ 01 57 27 92 54 4037 Professor ASV automates
Choffrut Christian @ 01 57 27 94 45 4007 Professor Emeritus ASV automates
Colcombet Thomas @ 01 57 27 94 32 4008a Senior Research Scientist - CNRS ASV automates
Degorre Aldric @ 01 57 27 92 32 4018 Associate Professor ASV verif
Fortin Marie @ 01 57 27 94 00 4016 Research Scientist - CNRS ASV automates , verif
Foughali Mohammed @ 01 57 27 94 49 4043 Associate Professor ASV verif
Gheerbrant Amelie @ 01 57 27 94 46 4039 Associate Professor ASV automates
Guessarian Irène @ 01 57 27 92 59 3032 Professor Emeritus - Sorbonne Université ASV automates , verif
Habermehl Peter @ 01 57 27 92 68 3009 Professor ASV automates , verif
Horn Florian @ 01 57 27 94 46 4039 Research Scientist - CNRS ASV automates , verif
Jurski Yan @ 01 57 27 94 41 4027 Associate Professor ASV verif
Laroussinie François @ 01 57 27 92 42 4034 Professor ASV automates , verif
Libkin Leonid @ 3042 Professor - Chaire industrielle ASV automates
Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves , picube
Petrisan Daniela @ 01 57 27 94 00 4016 Associate Professor ASV , PPS automates , algebre , picube
Picantin Matthieu @ 01 57 27 94 49 4043 Associate Professor PPS , ASV algebre , automates
Pouly Amaury @ Research Scientist - CNRS - Currently on leave ASV automates
Sakarovitch Jacques @ 01 57 27 90 86 3032 Senior Research Scientist Emeritus - CNRS ASV automates
Schmitz Sylvain @ 01 57 27 92 16 3048 Professor ASV automates , verif
Serre Olivier @ 01 57 27 94 18 4029 Senior Research Scientist - CNRS ASV automates
Shirmohammadi Mahsa @ 01 57 27 94 18 4029 Research Scientist - CNRS ASV verif
Sirangelo Cristina @ 01 57 27 92 35 4042 Professor ASV automates
Steiner Wolfgang @ 01 57 27 92 33 4044 Research Scientist - CNRS ASV , ASD automates , combi
Touili Tayssir @ 01 57 27 92 61 4028a Senior Research Scientist ASV verif
Treinen Ralf @ 01 57 27 92 44 3021 Professor PPS , ASV programmes , verif
Winter Sarah @ 4026 Associate Professor ASV automates
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Associate Professor ASV automates
Zielonka Wiesław @ 3047 Professor Emeritus ASV automates
van Gool Sam @ 01 57 27 94 05 4011 Associate Professor ASV , PPS automates , algebre