Saltar para:
Logótipo
Você está em: Início > Mário Florido
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
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
Membro do Conselho de Representantes 2023-09-25
Membro da Comissão Cientifica 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 faz investigação nas áreas de Lambda-Calculus 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 > Matemática > Lógica matemática
  3. Ciências Físicas > Matemática > Algoritmos
Recomendar Página Voltar ao Topo
Copyright 1996-2024 © 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: 2024-02-08 I  Página gerada em: 2024-02-21 às 01:43:47 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias