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)

Projects

Current and former PhD Students

Events

Blogs and News




Address

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