KLEE is the new INESC TEC research project

The Foundation for Science and Technology (FCT) competition accepted KLEE, Coalgebraic Modelling and Analysis for Computational Synthetic Biology as the new research project of the High-Assurance Software Laboratory (HASLab) of INESC TEC, which aims the development of coalgebraic models for synthetic biology.

In partnership with the Centre for Research and Development in Mathematics and Applications (CIDMA), KLEE will focus its activity on the development of coalgebraic models and logics for networks and devices in synthetic biology. Combining discrete, continuous and stochastic behaviour in its applications, to analyse and validate structural and quantitative properties of regulatory biological networks and the development of computational support tools.

It should be noted that this project, with a budget of 238 thousand euros, would be supervised by Luís Soares Barbosa, a professor at the School of Engineering of the University of Minho and senior researcher at INESC TEC. The project will be co-written by Renato Neves, José Nuno Oliveira, José Proença and Alexandre Madeira, from the University of Minho and INESC TEC, and Manuel Martins and Daniel Figueiredo, from the University of Aveiro. In addition, it will include the intervention of researchers from BIOCORE, a research center in the field of synthetic biology of INRIA.

The researchers of INESC TEC mentioned in this news piece are associated with INESC TEC and UMinho.