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

Theory and Formal Methods at U.Minho