Personal Presentation

Mário Florido is a researcher in the areas of lambda-calculus, type systems and functional programming. He is an Associate Professor with habilitation in Computer Science at the Computer Science Department of the Faculty of Sciences of the University of Porto (FCUP) and a researcher and member of the board of the Laboratory of Artificial Intelligence and Computer Science (LIACC) of the same university. He did his PhD at the University of Porto on the subject of Type Systems for Declarative Languages. He has an MSc in Foundations of Advanced Information Technology at Imperial College London, U.K. and a degree in Applied Mathematics, branch of Computer Science, at FCUP.

Áreas de Interesse

1. Physical sciences > Computer science
2. Physical sciences > Computer science > Programming
3. Physical sciences > Mathematics > Algorithms
4. Physical sciences > Mathematics > Mathematical logic
5. Physical sciences > Mathematics > Discrete mathematics