You are in:: Start > Mário Florido
Map of Premises
Mário Florido
| Name: | António Mário da Silva Marcos Florido |
| Sigla: | AMSMF |
| Estado: | Active |
| R-000-2CH | |
| 0000-0002-0574-7555 | |
| 121B-522B-5B55 |
| Email Institucional: | amflorid |
Funções
|
Cargos
| Cargo | Data de Início |
|---|---|
| Member of the Representatives Council | 2023-09-25 |
| Member of the Department Executive Committee Departamento de Ciência de Computadores | 2024-07-23 |
| Member of the Program Scientific Committee Programa Doutoral em Ciência de Computadores | 2023-01-30 |
| Subdirector de Curso de Doutoramento Programa Doutoral em Ciência de Computadores | 2023-02-09 |
Apresentação Pessoal
Mário Florido is a researcher in the areas of lambda-calculus 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
- Physical sciences > Computer science
- Physical sciences > Mathematics > Mathematical logic
- Physical sciences > Mathematics > Algorithms
Copyright 1996-2025 © Faculdade de Ciências da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
I Guest Book
Page created on: 2025-01-19 at 08:08:10 | Acceptable Use Policy | Data Protection Policy | Complaint Portal
Page created on: 2025-01-19 at 08:08:10 | Acceptable Use Policy | Data Protection Policy | Complaint Portal