The DYLISS team

Dyliss for DYnamics, Logics and Inference for biological Systems and Sequences.

Dyliss means truth in the gaelic language.

We are a research team in bioinformatics. We focus on sequence analysis and systems biology. We use qualitative formal systems to characterize genetic actors from non model species, such as algae or mining baceria, that control phenotypic answers when challenged by their environment.

Contact us !

Dyliss team


  • Constraint logic programming
  • Symbolic dynamics
  • Machine learning
  • Formal systems


  • Functional characterization
  • Non-model organisms
  • Multi-scale integration

Application domains

  • Marine biology
  • Micro-environmental biology