Mário Florido

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

Research Interests

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

My publications (on DBLP)


Current and former PhD Students


Blogs and News


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