Projetos em curso

• EUTypes, European network on types for programming and verifications, COST Action CA15123. Início: 2016. Membros do grupo envolvidos: José Espírito Santo e Luís Pinto

Projetos passados

• Separation in automata theory: algebraic, logical, and combinatorial aspects, projecto PESSOA Franco-Português, Investigador principal: Jorge Almeida (Univ. Porto). 2015 - 2016. Membro do grupo envolvido: José Carlos Costa.
• STOL - Ecosystems in Mind, CBMA-Pest2014. Investigador principal: Alexandra Nobre (Dpt. Biologia, Univ. Minho). 2014 - 2016. Membro do grupo envolvido: Maria Antónia Forjaz.
• AVIACC, Analysis and Verification of Critical Concurrent Programs, projeto PTDC/EIA-CCO/117590/2010 financiado pela FCT. Investigador principal: Jorge Sousa Pinto (Dpt. Informática, Universidade do Minho). 2012 - 2015. Membro do grupo envolvido: Luís Pinto.
• Simulação numérica de um escoamento tridimensional de polimeros e aplicação ao molde, projeto PTDC/MAT/121185/2010 financiado pela FCT. Investigador principal: Stephane Clain (CMAT). 2012 - 2015. Membro do grupo envolvido: Rui Ralha.
• DERMCLASS - Feature extraction and artifact removal in dermoscopic images, projeto financiado pelo CENTRO-07-ST24-FEDER-002022 através do QREN. Investigador principal: Rui Fonseca-Pinto. 2013 - 2014. Membro do grupo envolvido: Conceição Nogueira.