Saltar para:
Logótipo
This page in english Ajuda Autenticar-se
FCUP
Você está em: Início > Mário Florido
Autenticação




Mapa das Instalações
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
Nome: António Mário da Silva Marcos Florido
Sigla: AMSMF
Estado: Ativo
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
Grupo profissional: Docente
Departamento: Departamento de Ciência de Computadores

Cargos

Cargo Data de Início
Diretor de Curso de Doutoramento Doutoramento em Ciência de Computadores 2018-07-23
Presidente da Comissão Cientifica Doutoramento em Ciência de Computadores 2018-07-23
Presidente da Comissão de Acompanhamento de Curso Doutoramento em Ciência de Computadores 2018-07-23

Apresentação Pessoal

Mário Florido faz investigação nas áreas de Lambda-Calculus e Teoria de Tipos. É 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. É diretor do Programa Doutoral em Ciência de Computadores (PDCC) da FCUP.

Áreas de Interesse

  1. Ciências Físicas > Ciência de computadores
  2. Ciências Físicas > Matemática > Lógica matemática
  3. Ciências Físicas > Matemática > Algoritmos
Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2021-07-08 I  Página gerada em: 2022-01-20 às 11:22:21 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais