Mário Florido

Associate Professor at the Computer Science Department, Faculty of Science - University of Porto.

Research in Computer Science

Type Theory, Lambda-Calculus, Functional Programming, Rewriting, Static Analysis.

Blogs and News

Recent Publications (see also DBLP)

Research Projects


Current and former PhD Students



Universidade do Porto
Faculdade de Ciências
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169-007 Porto, Portugal
Phone: (+351) 220 402 914
Fax: (+351) 220 402 950
Email: amf(at)dcc.fc.up.pt