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

NamePhoneOfficePositionMail
Asarin Eugène 01 57 27 92 34 4040 Professeur.e Mail
Bernardi Giovanni 01 57 27 93 38 4026 Maître.sse de conférence Mail
Berthé Valérie 01 57 27 93 35 4014 Directeur.rice de recherche Mail
Biswas Ranadeep Doctorant.e Mail
Bouajjani Ahmed 01 57 27 92 64 4023 Professeur.e Mail
Bouillaguet Quentin Doctorant.e Mail
Carton Olivier 01 57 27 92 54 4037 Professeur.e Mail
Cauderlier Raphael 4058 Post-Doctorant.e Mail
Cecchi Pauline 3026 Doctorant.e Mail
Choffrut Christian 01 57 27 92 26 4034 Professeur.e émérite Mail
Colcombet Thomas 01 57 27 92 61 3042 Directeur.rice de recherche Mail
Degorre Aldric 01 57 27 92 32 4018 Maître.sse de conférence Mail
Delbianco German-Andres 01 57 27 94 07 4032 Post-Doctorant.e Mail
Enea Constantin 01 57 27 92 41 4028a Maître.sse de conférence Mail
Fang Bin 4061 Doctorant.e Mail
Fijalkow Nathanael Membre associé.e Mail
Frougny Christiane 01 57 27 94 41 4027 Professeur.e émérite Mail
Gehrke Mai 01 57 27 94 39 4009 Membre associé.e Mail
Gheerbrant Amelie 4039 Maître.sse de conférence Mail
Godin Thibault 01 57 27 94 56 4060 Doctorant.e Mail
Grigorieff Serge 4027 Professeur.e émérite Mail
Guessarian Irène 01 57 27 92 59 4049 Professeur.e émérite Mail
Habermehl Peter 01 57 27 92 58 3022 Maître.sse de conférence Mail
Horn Florian 01 57 27 94 46 4039 Chargé.e de recherche Mail
Jeannerod Nicolas 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement Mail
Klimann Ines 01 57 27 94 49 4043 Maître.sse de conférence Mail
Lagarde Guillaume 4055 Doctorant.e Mail
Laroussinie François 01 57 27 92 42 4004 Professeur.e Mail
Leena-Subramaniam Chaitanya 3034 Doctorant.e Mail
Long Teng 3007 Maître.sse de conférence Mail
Melliès Paul-Andre 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Ochremiak Joanna 4058 Post-Doctorant.e Mail
Osmond Axel 4060 Doctorant.e Mail
Perifel Sylvain 01 57 27 92 29 4017 Maître.sse de conférence Mail
Petri Gustavo 01 57 27 94 01 4021 Maître.sse de conférence Mail
Petrisan Daniela 01 57 27 92 21 4029a Post-Doctorant.e Mail
Picantin Matthieu 01 57 27 94 49 4043 Maître.sse de conférence Mail
Pin Jean-Éric 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS Mail
Pommellet Adrien 01 57 27 92 27 4052 ATER Mail
Reiter Fabian 4031 Doctorant.e Mail
Rotondo Pablo 4053 Doctorant.e Mail
Sakarovitch Jacques Directeur.rice de recherche émérite Mail
Sangnier Arnaud 01 57 27 92 58 3022 Maître.sse de conférence Mail
Serre Olivier 01 57 27 94 18 4029 Directeur.rice de recherche Mail
Sighireanu Mihaela 01 57 27 94 01 4021 Maître.sse de conférence Mail
Sirangelo Cristina 01 57 27 92 35 4042 Professeur.e Mail
Steiner Wolfgang 01 57 27 92 33 4044 Chargé.e de recherche Mail
Treinen Ralf 01 57 27 92 44 3021 Professeur.e Mail
Vallee Brigitte Directeur.rice de recherche émérite Mail
Wang Chao Post-Doctorant.e Mail
Yassawi Reem Membre associé.e Mail
Yunès Jean-Baptiste 01 57 27 92 62 4047 Maître.sse de conférence Mail
Zetzsche Georg 4032 Post-Doctorant.e Mail
Zielonka Wiesław 01 57 27 94 51 3015 Professeur.e Mail