Staff

José Bacelar Almeida (Assistant Professor) [DBLP[repositoriUM] email: jba

Luís Barbosa (Assistant Professor) [DBLP[repositoriUMemail: lsb

Manuel Barbosa (Assistant Professor) [DBLP] [repositoriUMemail: mbb

José Barros (Associate Professor) [DBLP[repositoriUMemail: jbb

Alcino Cunha (Assistant Professor) [DBLP] [repositoriUMemail: alcino

Maria João Frade (Assistant Professor) [DBLP] [repositoriUMemail: mjf

José Nuno Oliveira (Associate Professor) [DBLP[repositoriUMemail: jno

Olga Pacheco (Assistant Professor) [DBLP[repositoriUMemail: omp

João Saraiva (Assistant Professor) [DBLP[repositoriUM] email: jas

Jorge Sousa Pinto (Assistant Professor) [DBLP] [repositoriUMemail: jsp

José Valença (Full Professor) [DBLP[repositoriUM] email: jmvalenca

Joost Visser (Post-Doc Researcher) [DBLP[repositoriUM] email: joost.visser

Theory and Formal Methods at U.Minho