Activities area
The COSMO (COmmunications Spécifications Models) team studies the fundamental properties of computer and biological systems and, more generally, the behavior of reactive, decentralized and open dynamic systems. Within this framework, it is concerned with the specification and analysis of these systems, as well as with their design. The team is characterized by continuity between fundamental and applied research, with significant theoretical advances, methodological developments, the production of software tools, applications to real-life problems, and the creation of industrial links. The team’s research is structured along two lines.
- An applicative approach focused on societal problems (personalized medicine, vehicles of the future, Internet of the future, etc.) for which new theoretical or methodological frameworks need to be defined.
- Work rooted in a “core competency” theory that may have spin-offs in the first direction and find their application there. This dual orientation favors the production of software and methodological tools, both to enable application and as a validation of the theory.
Keywords :
formal modeling and analysis, proof, Petri nets, process algebras, Boolean networks, automata networks, modal logic, array methods, entity-centered simulation, precision personalized medicine, communicating autonomous vehicles, systems biology, Internet of future, autonomic networks, multi-agents
Application areas