KLEE is the new HASLab research project

FCT competition accepted KLEE, Coalgebraic Modeling and Analysis for Computational Synthetic Biology as the new HASLab research project, 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 analyze 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 thousands EUR will 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 University of Minho and INESC TEC, and Manuel Martins and Daniel Figueiredo  from 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.