KLEE é o novo projeto de investigação do INESC TEC

KLEE, Coalgebraic Modeling and Analysis for Computational Synthetic Biology, é o novo projeto de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC, que foi aceite recentemente pelo concurso da Fundação para a Ciência e Tecnologia, e que visa o desenvolvimento de modelos coalgébricos para biologia sintética.

Em parceria com o Centro de Investigação em Matemática e Aplicações (CIDMA), o KLEE vai focar a sua atividade no desenvolvimento de modelos e lógicas coalgébricas para redes e dispositivos em biologia sintética, combinando comportamentos discretos, contínuos e estocásticos, nas suas aplicações à analise e validação de propriedades estruturais e quantitativas de redes biológicas regulatórias e no desenvolvimento de ferramentas computacionais de suporte.

De referir que este projeto tem um orçamento no valor global de 238 mil euros e será coordenado por Luís Soares Barbosa, docente da Escola de Engenharia da Universidade do Minho e investigador sénior do INESC TEC, juntamente com Renato Neves, José Nuno Oliveira, José Proença e Alexandre Madeira, do lado da Universidade do Minho e do INESC TEC, e ainda Manuel Martins e Daniel Figueiredo, por parte da Universidade de Aveiro. Além disso, contará com a participação de colaboradores do BIOCORE, um centro de investigação na área de biologia sintética do INRIA.

Os investigadores do INESC TEC mencionados na notícia têm vínculo ao INESC TEC e à UMinho.