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

Software

Current and former PhD Students

Events


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