Project Summary - 2018-2020

(Project not yet started)

Synthetic biology aims at the design of biological systems in a systematic way, a process whose hallmark characteristics closely resemble the composition of software: off-the-shelf parts and devices with standard connections, the usual ingredients for assembling components into increasingly complex systems.

Of course, a number of key enabling technologies are specifically biological, for example, DNA sequencing and fabrication. But, on the other hand, there is also a need for new models to cope with the complex and heterogeneous nature of biological systems. In this context, our starting point is to regard a network of interacting genes and proteins as a dynamic system evolving in time according to fundamental laws of reaction, diffusion and transport. These laws govern how a regulatory network, confronted by any set of stimuli, determines the appropriate response of a cell. This information processing system can be described in precise mathematical terms, resorting to state-of-art research on hybrid systems: transition systems, as typically studied in reactive software, but combining discrete, continuous and stochastic features. The corresponding notions of emerging behaviour, and techniques to express, analyse and verify both structural and behavioural properties, may bring a new understanding to this domain.

However, both fundamental and applied research is deeply needed here. On the one hand, such models and techniques are still an open domain. KLEE adopts a specific perspective: that of the theory of coalgebras, popularised as the "mathematics of transition systems" which provides a general way to express, reason and interrelate different notions of transition, shape and behaviour. Hybrid models, however, are notoriously hard to analyse and verify. In particular, there is a lack of tools for combining stochastic and physical constraints and to (automatically) transform non-computational models into efficient computational ones. On the other hand, if components are well understood in Software Engineering, such is not the case in biological systems. Bio devices, no matter how efficiently designed, develop over time highly complex and unforeseen interactions and redundancies.

Thus, the project will focus on:

  1. The development of coalgebraic models and logics for synthetic biological devices, combining discrete, continuous, stochastic behaviours;
  2. Their application to the analysis and validation of biological regulatory networks,
  3. The development of associated computational tools.


  1. Bio-components
    (months: 1-18; Grants: Lic-6-UM)
  2. Coalgebraic semantics for bio-components
    (months: 7-30; Grants: Lic-6-UA)
  3. Coalgebraic logics for verification of bio-complex systems
    (months: 7-30; Grants: MSc-12-UM)
  4. A reasoning hub for bio-components
    (months: 13-36; Grants: MSc-12-UA, Lic-6-UA)
  5. Case-studies in gene regulatory networks
    (months: 13-36; Grants: Lic-6-UA)


The project is coordinated at HASLab INESC-TEC, University of Minho, in a partnership with CIDMA, University of Aveiro. It builds on the team's work for the last four years on coalgebraic software components. Given its interdisciplinary nature, a researcher in synthetic biology, in cooperation with the BIOCORE team at INRIA.

Related Projects

This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-030947.

Back to top