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.

• Seminars
  • Automata
  • Verification
• Online seminar One world numeration seminar
• Working group Logic, automata, algebra and games
• Meetings Automata, structures and verification