Go to:
Logótipo
You are in:: Start > Mário Florido
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Mário Florido

Fotografia de António Mário da Silva Marcos 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@fc.up.pt

Funções

Categoria: Professor Associado
Carreira: Pessoal Docente de Universidades
Professional Group: Docente
Department: Department of Computer Science
Interrupção: Licença sabática
Início da Interrupção: 01-02-2024
Fim da Interrupção: 31-08-2024

Cargos

Cargo Data de Início
Member of the Representatives Council 2023-09-25
Member of the 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

  1. Physical sciences > Computer science
  2. Physical sciences > Mathematics > Mathematical logic
  3. Physical sciences > Mathematics > Algorithms
Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-02-22 at 01:37:48 | Acceptable Use Policy | Data Protection Policy | Complaint Portal