Identificação
Identificação pessoal
- Nome completo
- Mário Florido
Nomes de citação
- Florido, Mário
Identificadores de autor
- Ciência ID
- 121B-522B-5B55
- ORCID iD
- 0000-0002-0574-7555
Endereços de correio eletrónico
- amf@dcc.fc.up.pt (Profissional)
- amflorid@fc.up.pt (Profissional)
Websites
- https://sigarra.up.pt/fcup/pt/func_geral.FormView?P_CODIGO=238703 (Profissional)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau | Classificação | |
---|---|---|
1998
Concluído
|
Doutoramento em Ciência de Computadores (Doutoramento)
Especialização em Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
"Sistemas de Tipos para Linguagens Declarativas" (TESE/DISSERTAÇÃO)
|
aprovado por unanimidade |
1991
Concluído
|
Foundations of Advanced Information Technology (Master)
Imperial College London Department of Computing, Reino Unido
"A Constraint Solver fo IC-Prolog II" (TESE/DISSERTAÇÃO)
|
Pass |
1989
Concluído
|
Matemática Aplicada (ramo de Ciência de Computadores) (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"n/a" (TESE/DISSERTAÇÃO)
|
Percurso profissional
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2010/03/17 - Atual | Professor Associado (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
1998/02/11 - 2010/03/17 | Professor Auxiliar (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
1995/09/01 - 1998/01/10 | Assistente (Docente Universitário) | Universidade do Minho Escola de Engenharia, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2016 - 2019/08/01 | Elven - Lógicas para verificação de programas na Web
PTDC/EEI-CTP/3506/2014
Investigador responsável
Universidade do Porto Faculdade de Ciências, Portugal
Instituto de Engenharia de Sistemas e Computadores, Portugal Instituto de Telecomunicações, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2008 - 2011/03/31 | JEDI - Um Ambiente Híbrido para Dedução e Indução - e a sua Aplicação sobre Dados Espaciais
PTDC/EIA/66924/2006
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal Universidade de Évora, Portugal Universidade do Porto Instituto de Ciências e Tecnologias Agrárias e Agro-Alimentares, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2008 - 2011/03/31 | RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal Universidade do Minho, Portugal Universidade da Beira Interior, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2018/11 - Atual | Type Assignment in Logic Programming
Orientador de João Barbosa
|
Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018/11 - Atual | Gradual Intersection Types
Orientador de Pedro Ângelo
|
Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011/05 - 2014/09 | Programmimg with Sequence and Context Variables: Foundations and Applications
Orientador de Besik Dundua
|
Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005/09 - 2014/02 | Amortised Resource Analysis for Lazy Functional Programs
Orientador de Hugo Simões
|
Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009/07 - 2013/05 | Semantics-based Program Verification: an Abstract Interpretation Approach
Orientador de Vítor Rodrigues
|
MAPI - MAP Doctoral Program in Computer Science (Doutoramento)
Universidade do Porto, Portugal
|
2004/07 - 2007/11 | XML Processing in Logic Programming
Orientador de Jorge Coelho
|
Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002/10 - 2007/07 | Linearisation of the Lambda-Calculus
Orientador de Sandra Alves
|
Doutoramento em Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
Comissão de avaliação
Descrição da atividade Tipo de assessoria |
Instituição / Organização | Entidade financiadora | |
---|---|---|---|
2014 - 2014 | Membro do Painel de Avaliação de Candidaturas a Bolsas de doutoramento e pós-doutoramento FCT da área de Ciências da Computação
e Informação
Avaliador
|
Fundação para a Ciência e a Tecnologia, Portugal | Fundação para a Ciência e a Tecnologia |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2019 - Atual | Membro da direção do Laboratório em Inteligência Artificial e Ciência de Computadores da Universidade do Porto (LIACC)
Membro
|
Universidade do Porto, Portugal |
2017/01/01 - Atual | Member of the Management Committee of the European research network on types for programming and verification (EUTypes) -
CA15123
Membro
|
European Union, Bélgica |
2010/09 - 2014/09 | Vice-presidente do conselho executivo do Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade
do Porto
Presidente / Vice-presidente
|
Universidade do Porto Faculdade de Ciências, Portugal |