Pole


Leader


Research themes

The research activities of the pole “Automata, Structures, and Verification” concern in general the study of computer systems by investigating their computing power and the properties of their computations. These activities cover a large spectrum of research themes, from theory to applications, including:

  • the study of mathematical models allowing to describe at different levels of abstraction the behaviors of different classes of systems,
  • the definition of specification formalisms for expressing and reasoning about the properties of the behaviors of different types of systèmes, and the investigation of effective links between different classes of formal models and specification formalisms,
  • the study of decision problems concerning different classes of systems, formal models, and properties, and the design of algorithmic approaches allowing to solve efficiently and in an automated way these decision problems,
  • the development of innovating tools which implement theses approaches, targeting different types of concrete applications including: cyber-physical systems, embedded systems, modern system and networked infrastructures, data bases, etc.

The pole is gathering two teams, the “Automata and Applications” team and the “Modeling and Verification” team. These two teams are close and complementary, they share numerous objects of study (e.g., words, tree structures, orders, automata, logics, etc.) as well as questions concerning these objects and tools for tackling these question (e.g., decidability and complexity issues, expressiveness issues, establishing automata-logics links, model-checking, algorithms for solving games, etc.)

The research activities of the pole are organized in several axes that are transversal to the two teams of the pole:

  • Computation models and structures,
  • Data manipulating systems,
  • Quantitative reasoning,
  • Concurrent and distributed systems,
  • Dynamic systems applied to computer science.


Members

Name@PhoneOfficePositionPoleTeam
Asarin Eugène @ 01 57 27 92 34 4040 Professor ASV verif
Beillahi Sidi-Mohamed @ 4060 PhD Student ASV verif
Bernardi Giovanni @ 01 57 27 93 38 4026 Associate Professor PPS , ASV preuves , systemes , verif
Berthé Valérie @ 01 57 27 93 35 4014 Senior Research Scientist - CNRS ASV , ASD automates , combi
Biswas Ranadeep @ 07 69 97 44 12 4060 PhD Student ASV verif
Bouajjani Ahmed @ 01 57 27 92 64 4023 Professor ASV verif
Bouillaguet Quentin @ 4021 PhD Student ASV verif
Carton Olivier @ 01 57 27 92 54 4037 Professor ASV automates
Cauderlier Raphael @ 4058 Post-Doc ASV verif
Cecchi Paulina @ 3026 PhD Student ASV , ASD automates , combi
Choffrut Christian @ 01 57 27 92 26 4034 Professor Emeritus ASV automates
Colcombet Thomas @ 01 57 27 94 32 3042 Senior Research Scientist - CNRS ASV automates
Degorre Aldric @ 01 57 27 92 32 4018 Associate Professor ASV verif
Delbianco German-Andres @ 01 57 27 94 07 4032 Post-Doc ASV verif
Dolce Francesco @ 4053 Teaching and Research Assistant ASV , ASD automates , combi
Durand Fabian @ 4008 Professor ASV automates
Enea Constantin @ 01 57 27 92 41 4028a Associate Professor ASV verif
Fang Bin @ 07 68 79 02 80 4061 PhD Student ASV verif
Fijalkow Nathanael @ Associated Member ASV automates
Frougny Christiane @ 01 57 27 94 41 4027 Professor Emeritus ASV , ASD automates , combi
Gehrke Mai @ Associated Member - DR CNRS ASV automates
Gheerbrant Amelie @ 4039 Associate Professor ASV automates
Grigorieff Serge @ 4027 Associated Member ASV automates
Guessarian Irène @ 01 57 27 92 59 4049 Professor Emeritus ASV automates , verif
Habermehl Peter @ 01 57 27 92 58 3022 Associate Professor ASV automates , verif
Horn Florian @ 01 57 27 94 46 4039 Research Scientist - CNRS ASV automates , verif
Jeannerod Nicolas @ 01 57 27 92 22 3035 PhD Student with teaching duties PPS , ASV systemes , verif
Ji Kailiang @ 01 57 27 92 60 4057 Post-Doc ASV verif
Klimann Ines @ 01 57 27 94 49 4043 Associate Professor ASV automates
Lagarde Guillaume @ 01 57 27 92 31 4055 PhD Student ASV , ASD automates , algocomp
Laroussinie François @ 01 57 27 92 42 4004 Professor ASV verif
Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 PhD Student ASV , PPS automates , algebre , preuves
Long Teng @ 01 57 27 92 60 4054 Visitor ASV verif
Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves
Ohlmann Pierre @ 0667368318 3035 PhD Student ASV automates
Osmond Axel @ 01 57 27 94 56 4060 PhD Student ASV , PPS automates , algebre , preuves
Perifel Sylvain @ 01 57 27 92 29 4017 Associate Professor ASV , ASD automates , algocomp
Petri Gustavo @ 01 57 27 94 01 4021 Associate Professor - (en disponibilité) ASV verif
Petrisan Daniela @ 01 57 27 92 21 4029a Associated Member - Post-Doctorante ASV automates
Picantin Matthieu @ 01 57 27 94 49 4043 Associate Professor PPS , ASV algebre , automates
Pin Jean-Éric @ 01 57 27 92 18 4007 Senior Research Scientist - CNRS ASV automates
Pommellet Adrien @ 01 57 27 92 27 4052 Teaching and Research Assistant ASV verif
Rotondo Pablo @ 4053 PhD Student ASV , ASD automates , combi
Sakarovitch Jacques @ 01 57 27 92 60 4054 Senior Research Scientist Emeritus - CNRS ASV automates
Sangnier Arnaud @ 01 57 27 92 58 3022 Associate Professor ASV verif
Serre Olivier @ 01 57 27 94 18 4029 Senior Research Scientist - CNRS ASV automates
Sighireanu Mihaela @ 01 57 27 94 01 4021 Associate Professor 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
Treinen Ralf @ 01 57 27 92 44 3021 Professor PPS , ASV systemes , verif
Wang Chao @ 01 57 27 94 07 4032 Post-Doc ASV verif
Yassawi Reem @ 01 57 27 92 59 4049 Associated Member ASV automates
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Associate Professor ASV automates
Zetzsche Georg @ 01 57 27 94 07 4032 Post-Doc ASV automates
Zielonka Wiesław @ 01 57 27 94 51 3015 Professor ASV automates