Apresentação Pessoal

Mário Florido faz investigação nas áreas de Lambda-Calculus, Sistemas de Tipos e Programação Funcional. É Professor Associado com Agregação no Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (FCUP) e investigador e membro da direção do Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC) da mesma universidade. Fez o doutoramento na Faculdade de Ciências da Universidade do Porto sobre o tema Sistemas de Tipos para Linguagens Declarativas. Fez o mestrado (MSc) em Foundations of Advanced Information Technology no Imperial College London, U.K. e a licenciatura em Matemática Aplicada, ramo de Ciência de Computadores, na FCUP.

Áreas de Interesse

1. Ciências Físicas > Ciência de computadores
2. Ciências Físicas > Ciência de computadores > Programação
3. Ciências Físicas > Matemática > Algoritmos
4. Ciências Físicas > Matemática > Lógica matemática
5. Ciências Físicas > Matemática > Matemática discreta