COmmunications, Specifications and MOdels
Team Leaders: POMMEREAU Franck, AGOULMINE Nazim
The COSMO team studies the fundamental properties of biological and computing systems and more generally performance of open, decentralized, reactive dynamic systems. Within this framework, this team is interested in the specification and the analysis of these systems, as well as in their realization. The conducted research is mainly based on three themes:
Specification and competition which studies the competition models (Petri nets, automaton, process algebras…) as well as the languages of specification based on modal, temporal and games logics linked with verification techniques (model-checking, automatic proving) for the representation, the analysis and the validation of distributed, mobile and adaptive systems.
Interaction and dynamics which deal with the modeling of interaction networks using formalisms linked with automaton networks (cellular automata, Boolean networks…) and with multi-agents systems, as well as the analysis of their dynamics through combinatorial, complex and entity-centered simulation techniques.
Architectures and protocols which consist of defining new decentralized architectures that aim to bring new properties to existing computing systems such as decentralized control, autonomy, efficiency and scaling-up. It also concerns the creation of communication algorithms and protocols which enable architecture components to interact with each other.
Thanks to these three themes, the COSMO team naturally applies results to computer science, networks and biology by answering the cross-cutting issues on service, safety, security, robust and scaling-up qualities dealing with the management of computing and network resources, security protocols and multimodal interfaces on the one hand, and with gene regulatory networks and cellular processes, on the other.