Welcome to Dyliss

DYnamics, Logics and Inference for biological Systems and Sequences

The team is a joint team from IRISA and Inria Rennes-Bretagne-Atlantique. It gathers researchers from CNRS, Inria and university of Rennes 1. We also collaborate closely with University of Nantes (LINA laboratory). See also the members webpage.

Our research domain is bioinformatics and systems biology. We use formal systems to model and automatically identify groups of genetic actors that control the response of species capable of facing extreme environments.

• Methodological keyworks: constraint logic programming. Symbolic dynamics. Machine learning. Formal Systems.
• Application keywords:  functional characterization; non-model species; multi-scale integration.

The project name is inspired by Gaelic language.