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 study 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 modelling 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.
This site gathers the COSMO team publications.
To learn more about the COSMO team of the IBISC laboratory :