People

All email addresses are AT di.uminho.pt except where indicated

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

Research Students

Tiago Alves [DBLP] [repositoriUM] email: tiago.alves

Marco Barbosa [DBLP] [repositoriUM] email: marco.antonio

Jácome Cunha [DBLP] [repositoriUM] email: jacome

João Fernandes [DBLP] [repositoriUM] email: jpaulo

Luís Pedro Machado [DBLP] [repositoriUM] email: lpmachado

César Rodrigues [DBLP] [repositoriUM] email: cjr

Nuno Rodrigues [DBLP] [repositoriUM] email: nfr

João Carlos Silva [DBLP] [repositoriUM] email: jcsilva

Paulo Silva  [DBLP] [repositoriUM] email: paufil

Miguel Vilaça [DBLP] [repositoriUM] email: jmvilaca

External Research Students (co-supervised)

Pablo Berdaguer [DBLP] email: pabloberdaguer

João Ferreira [DBLP] 

Alexandra Mendes [DBLP] 

Claudia Necco [DBLP] 

Alexandra Silva  [DBLP] email: xana

Theory and Formal Methods at U.Minho