Go to:
Logótipo
Esta página em português Ajuda Autenticar-se
FCUP
You are in:: Start > Mário Florido
Authentication




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

Cargos

Cargo Data de Início
Doctorate Course Director Doutoramento em Ciência de Computadores 2018-07-23
Chairman of the Scientific Committee Doutoramento em Ciência de Computadores 2018-07-23
Chairman of the Program Follow-up Committee Doutoramento em Ciência de Computadores 2018-07-23

Apresentação Pessoal

Mário Florido is a researcher in the areas of lambda-calculus and type theory. 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. He is also director of the Doctoral Program in Computer Science (PDCC) 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-2022 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2022-05-24 at 19:11:17