???global.info.a_carregar???
I am now an Associate Professor with Habilitation at the Department of Computer Science of the Faculty of Sciences of the University of Porto. I am also member of the direction board of the Artificial Intelligence and Computer Science Laboratory at the University of Porto (LIACC), member of the Representatives Council of the Faculty of Science of the University of Porto and vice-president of the scientific council of the Phd Program on Computer Science at the same University. My habilitation (March 2021) focuses on Substrutural Type Systems for Functional Programming Languages. Before this my academic record includes a PhD in Computer Science from the Faculty of Sciences at the University of Porto, in the area of Type Systems for functional and logic programming languages in January 1998, a Master of Science in Foundations of Advanced Information Technology, at the Department of Computing, Imperial College, University of London, and a bachelor degree in Applied Mathematics - Computer Science Branch in the Faculty of Sciences of the University of Porto in July 1989. I have an active participation in the international scientific community in computer science, in the form of articles co-authored with international researchers, promotion of several European research networks as national member of the management committe, having the responsibility for several financed research projects as principal researcher, co-supervision of internships outside the country, responsibility for several bilateral international cooperation actions, international lectures by invitation, organization, participation in program committees and editing of proceedings of international conferences, supervision of doctoral and post-doctoral studies for international students, review of scientific articles in the main journals and conferences in the field and as member of international scientific organizations.
Ler resumo completo ↓
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

  • amflorid@fc.up.pt (Profissional)
  • amflorid@fc.up.pt (Profissional)

Moradas

  • Rua do Campo Alegre 1021/1055, 4169-007, Porto, Porto, Portugal (Profissional)

Websites

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
2021/03/15 - 2021/03/16
Concluído
 Agregação em Ciência de Computadores (Título de Agregado)
Universidade do Porto Faculdade de Ciências, Portugal
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/07/01 - 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/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Minho, Portugal

Universidade da Beira Interior, Portugal

Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 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
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Instituto de Ciências Tecnologias e Agroambiente, Portugal

Universidade de Évora, Portugal

Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. João Barbosa; Vitor Santos Costa; Florido, Mário. "Regular Typed Unification". Trabalho apresentado em 40th International Conference on Logic Programming, Dallas, 2024.
    Publicado
  2. Miguel Abreu; Pedro Mota; Tomás Azevedo; Francisco Silva; Luís Paulo Reis; Nuno Lau; Mário Florido. "FC Portugal: RoboCup 2024 3D Simulation League Champions". 2024.
    10.1007/978-3-031-85859-8_35
  3. Miguel Abreu; Pedro Mota; Luís Paulo Reis; Nuno Lau; Mário Florido. "FC Portugal: RoboCup 2023 3D Simulation League Champions". 2023.
    Publicado • 10.1007/978-3-031-55015-7_35
  4. Silva, AC; Barbosa, M; Florido, M. "Execution Time Program Verification with Tight Bounds". 2023.
    10.1007/978-3-031-24841-2_4
  5. Ângelo, Pedro; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Florido, Mário. "Gradual Guarantee for FJ with lambda-Expressions". 2023.
    10.1145/3605156.3606453
  6. Barbosa, J; Florido, M; Costa, VS. "Data Type Inference for Logic Programming". Trabalho apresentado em Logic based Program Synthesis and Transformation (LOPSTR), 2022.
    10.1007/978-3-030-98869-2_2
  7. Barbosa, J; Florido, M; Costa, VS. "Typed SLD-Resolution: Dynamic Typing for Logic Programming". Trabalho apresentado em Logic-Based Program Synthesis and Transformation (LOPSTR), 2022.
    10.1007/978-3-031-16767-6_7
  8. Alves, S; Florido, M. "Structural Rules and Algebraic Properties of Intersection Types". Trabalho apresentado em Theoretical Aspects of Computing (ICTAC), 2022.
    10.1007/978-3-031-17715-6_6
  9. Ângelo, P; Florido, M. "Type Inference for Rank-2 Intersection Types Using Set Unification". 2022.
    10.1007/978-3-031-17715-6_29
  10. Ângelo, Pedro; Florido, Mário. "A Typed Lambda Calculus with Gradual Intersection Types". Trabalho apresentado em 4th International Symposium on Principles and Practice of Declarative Programming (PPDP), 2022.
    10.1145/3551357.3551382
  11. Reis, F; Alves, S; Florido, M. "Linear Rank Intersection Types". 2022.
    10.4230/lipics.types.2022.8
  12. Marques, Rodrigo; Florido, Mário; Vasconcelos, Pedro. Autor correspondente: Marques, Rodrigo. "Towards Algebraic Subtyping for Extensible Records". Trabalho apresentado em ML Workshop, Ljubljana, 2022.
  13. Moreira, S; Vasconcelos, PB; Florido, M. "Resource Analysis for Lazy Evaluation with Polynomial Potential". 2020.
    10.1145/3462172.3462196
  14. Florido, Mário; Pedro Ângelo. "Type Inference for Rank 2 Gradual Intersection Types". Trabalho apresentado em The symposium on Trends in Functional Programming (TFP), 2019.
    Aceite para publicação
  15. Barbosa, J; Florido, M; Costa, VS. "A Three-Valued Semantics for Typed Logic Programming". 2019.
    10.4204/eptcs.306.10
  16. Ângelo, P; Florido, M. "Type Inference for Rank 2 Gradual Intersection Types". 2019.
    10.1007/978-3-030-47147-7_5
  17. Ângelo, Pedro; Florido, Mário; Vasconcelos, Pedro. "Gradual Compound Data Types". Trabalho apresentado em 10º Simpósio Nacional de Informática (INForum 2018), Coimbra, 2018.
  18. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Types". Trabalho apresentado em 9th Workshop on Intersection Types and Related Systems (ITRS 2018), Oxford, 2018.
  19. Dundua, B; Florido, M; Kutsia, T. "Lambda Calculus with Regular Types". 2016.
    10.1109/synasc.2015.29
  20. Nigam, V; Florido, M. "Preface". 2016.
  21. Vasconcelos, P; Jost, S; Florido, M; Hammond, K. "Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages". 2015.
    10.1007/978-3-662-46669-8_32
  22. Dundua, B; Florido, M; Kutsia, T; Marin, M. "Constraint Logic Programming for Hedges: A Semantic Reconstruction". 2014.
    10.1007/978-3-319-07151-0_18
  23. Amaral, C; Florido, M; Costa, VS. "PrologCheck - Property-Based Testing in Prolog". 2014.
    10.1007/978-3-319-07151-0_1
  24. Rodrigues, Vitor; Akesson, Benny; Sousa, SimaoMelode; Florido, Mario. "A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction". 2013.
    10.1007/978-3-642-45284-0_4
  25. Rodrigues, V; Florido, M; de Sousa, SM. "A Functional Approach to Worst-Case Execution Time Analysis". 2011.
    10.1007/978-3-642-22531-4_6
  26. Coelho, J; Florido, M; Kutsia, T. "Collaborative Schema Construction using Regular Sequence Types". 2008.
    10.1109/iri.2009.5211567
  27. Coelho, J; Florido, M. "Type-based static and dynamic website verification". 2007.
    10.1109/iciw.2007.67
  28. Coelho, J; Florido, M. "XCentric: A Logic-Programming Language for XML Processing". 2007.
  29. Simões, HR; Hammond, K; Florido, M; Vasconcelos, PB. "Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs". 2006.
  30. Alves, S; Florido, M. "Type inference using constraint handling rules". 2002.
    10.1016/s1571-0661(04)80346-3
  31. Alves, S; Florido, M. "On the Relation between Rank 2 Intersection Types and Simple Types". 2002.
Artigo em revista
  1. Silva, AC; Barbosa, M; Florido, M. "Execution Time Program Verification With Tight Bounds". CoRR (2022):
  2. Alves, S; Dundua, B; Florido, M; Kutsia, T. "Pattern-based calculi with finitary matching". LOGIC JOURNAL OF THE IGPL (2018):
    10.1093/jigpal/jzx059
  3. Silva, M; Florido, M; Pfenning, F. "Non-Blocking Concurrent Imperative Programming with Session Types". ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2017):
    10.4204/eptcs.238.7
  4. Jost, S; Vasconcelos, P; Florido, M; Hammond, K. "Type-Based Cost Analysis for Lazy Functional Languages". JOURNAL OF AUTOMATED REASONING (2017):
    10.1007/s10817-016-9398-9
  5. DUNDUA, B; FLORIDO, M; KUTSIA, T; MARIN, M. "CLP(H): Constraint logic programming for hedges". THEORY AND PRACTICE OF LOGIC PROGRAMMING (2016):
    10.1017/s1471068415000071
  6. Rodrigues, V; Akesson, B; Florido, M; de Sousa, SM; Pedroso, JP; Vasconcelos, P. "Certifying execution time in multicores". SCIENCE OF COMPUTER PROGRAMMING (2015):
    10.1016/j.scico.2015.06.006
  7. Pereira, M; Alves, S; Florido, M. "Liquid Intersection Types". ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2015):
    10.4204/eptcs.177.3
  8. Alves, S; Fernandez, M; Florido, M; Mackie, I. "Linearity: A Roadmap". JOURNAL OF LOGIC AND COMPUTATION (2014):
    10.1093/logcom/exs020
  9. Florido, M; Mackie, I. "Linearity in Computation". J. Log. Comput. (2014):
    10.1093/logcom/exs024
  10. Rodrigues, V.; Pedroso, J.P.; Florido, M.; De Sousa, S.M.. "Certifying execution time". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7177 LNCS (2012): 108-125. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864655874&partnerID=MN8TOARS.
    10.1007/978-3-642-32495-6_7
  11. Simoes, H; Vasconcelos, P; Florido, M; Jost, S; Hammond, K. "Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs". ACM SIGPLAN NOTICES (2012):
    10.1145/2398856.2364575
  12. Simões, H.; Vasconcelos, P.; Florido, M.; Jost, S.; Hammond, K.. "Automatic amortised analysis of dynamic memory allocation for lazy functional programs". Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP (2012): 165-176. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867491922&partnerID=MN8TOARS.
    10.1145/2364527.2364575
  13. Amaral, C.; Florido, M.; Jansson, P.. "Interfacing dynamically typed languages and the why tool: Reasoning about lists and tuples". Erlang'11 - Proceedings of the 2011 ACM SIGPLAN Erlang Workshop (2011): 92-93. http://www.scopus.com/inward/record.url?eid=2-s2.0-80755180991&partnerID=MN8TOARS.
    10.1145/2034654.2034673
  14. Alves, S.; Fernandez, M.; Florido, M.; Mackie, I.. "Linearity and recursion in a typed Lambda-Calculus". PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming (2011): 173-182. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052153042&partnerID=MN8TOARS.
    10.1145/2003476.2003500
  15. Coelho, J.; Florido, M.. "Semantic verification in an open collaboration scenario". Communications in Computer and Information Science 185 CCIS PART 2 (2011): 44-53. http://www.scopus.com/inward/record.url?eid=2-s2.0-79960149872&partnerID=MN8TOARS.
    10.1007/978-3-642-22309-9_6
  16. Alves, S.; Fernández, M.; Florido, M.; MacKie, I.. "Linearity and iterator types for Gödel's System I". Higher-Order and Symbolic Computation 23 1 (2010): 1-27. http://www.scopus.com/inward/record.url?eid=2-s2.0-80051787315&partnerID=MN8TOARS.
    10.1007/s10990-010-9060-x
  17. Coelho, J.; Dundua, B.; Florido, M.; Kutsia, T.. "A rule-based approach to XML processing and web reasoning". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6333 LNCS (2010): 164-172. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049414563&partnerID=MN8TOARS.
    10.1007/978-3-642-15918-3_13
  18. Alves, S.; Fernández, M.; Florido, M.; Mackie, I.. "Gödel's system T revisited". Theoretical Computer Science 411 11-13 (2010): 1484-1500. http://www.scopus.com/inward/record.url?eid=2-s2.0-76449111366&partnerID=MN8TOARS.
    10.1016/j.tcs.2009.11.014
  19. Coelho, J.; Florido, M.; Kutsia, T.. "Collaborative schema construction using regular sequence types". 2009 IEEE International Conference on Information Reuse and Integration, IRI 2009 (2009): 290-295. http://www.scopus.com/inward/record.url?eid=2-s2.0-70449375137&partnerID=MN8TOARS.
    10.1109/IRI.2009.5211567
  20. Alves, S.; Florido, M.; Mackie, I.; Sinot, F.-R.. "Minimality in a Linear Calculus with Iteration". Electronic Notes in Theoretical Computer Science 204 C (2008): 163-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-41649088788&partnerID=MN8TOARS.
    10.1016/j.entcs.2008.03.060
  21. Alves, S.; Fernández, M.; Florido, M.; Mackie, I.. "Iterator types". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4423 LNCS (2007): 17-31. http://www.scopus.com/inward/record.url?eid=2-s2.0-37149026320&partnerID=MN8TOARS.
    10.1007/978-3-540-71389-0_3
  22. Coelho, J.; Florido, M.. "Type-based static and dynamic website verification". Second International Conference on Internet and Web Applications and Services, ICIW'07 (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-34548730303&partnerID=MN8TOARS.
    10.1109/ICIW.2007.67
  23. Alves, S.; Fernández, M.; Florido, M.; Mackie, I.. "The Power of Closed Reduction Strategies". Electronic Notes in Theoretical Computer Science 174 10 SPEC. I (2007): 57-74. http://www.scopus.com/inward/record.url?eid=2-s2.0-34347262687&partnerID=MN8TOARS.
    10.1016/j.entcs.2007.02.047
  24. Coelho, J.; Florido, M.. "XCentric: Logic programming for XML processing". International Conference on Information and Knowledge Management, Proceedings (2007): 1-8. http://www.scopus.com/inward/record.url?eid=2-s2.0-77951138379&partnerID=MN8TOARS.
    10.1145/1316902.1316904
  25. Simões, H.R.; Hammond, K.; Florido, M.; Vasconcelos, P.. "Using intersection types for cost-analysis of higher-order polymorphic functional programs". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4502 LNCS (2007): 221-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049171024&partnerID=MN8TOARS.
  26. Alves, S.; Fernández, M.; Florido, M.; Mackie, I.. "Linear recursive functions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4600 LNCS (2007): 182-196. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149101148&partnerID=MN8TOARS.
    10.1007/978-3-540-73147-4_9
  27. Coelho, J.; Florido, M.; Kutsia, T.. "Sequence disunification and its application in collaborative schema construction". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4832 LNCS (2007): 91-102. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149103157&partnerID=MN8TOARS.
  28. Alves, S.; Fernández, M.; Florido, M.; Mackie, I.. "The power of linear functions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4207 LNCS (2006): 119-134. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750294691&partnerID=MN8TOARS.
    10.1007/11874683_8
  29. Coelho, J.; Florido, M.. "VeriFLog: A constraint logic programming approach to verification of website content". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3842 LNCS (2006): 148-156. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745644505&partnerID=MN8TOARS.
  30. Alves, S.; Florido, M.. "Weak linearization of the lambda calculus". Theoretical Computer Science 342 1 (2005): 79-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844478588&partnerID=MN8TOARS.
    10.1016/j.tcs.2005.06.005
  31. Alves, S.; Florido, M.. "Linearization by program transformation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3018 (2004): 160-175. http://www.scopus.com/inward/record.url?eid=2-s2.0-33645251909&partnerID=MN8TOARS.
    10.1007/978-3-540-25938-1_14
  32. Coelho, J.; Florido, M.. "CLP (Flex): Constraint logic programming applied to XML processing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3291 (2004): 1098-1112. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048902431&partnerID=MN8TOARS.
  33. Florido, M.; Damas, L.. "Linearization of the lambda-calculus and its relation with intersection type systems". Journal of Functional Programming 14 5 (2004): 519-546. http://www.scopus.com/inward/record.url?eid=2-s2.0-4444368533&partnerID=MN8TOARS.
    10.1017/S0956796803004970
  34. Coelho, J.; Florido, M.. "Type-based XML processing in logic programming". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2562 (2003): 273-285. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846115452&partnerID=MN8TOARS.
Edição de livro
  1. Nigam, V; Florido, M. 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016. 2017.
  2. Florido, M; Mackie, I. Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. 2009.
Poster em conferência
  1. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Type Inference". Trabalho apresentado em Student Research Competition of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019.
Resumo em conferência
  1. Ângelo, Pedro; Florido, Mário. "Discrete Polymorphism with Dynamic Types". Trabalho apresentado em Days in Logic 2018, Aveiro, 2018.

Outros

Outra produção
  1. Data Type Inference for Logic Programming. 2021. Barbosa, J; Florido, M; Costa, VS.
  2. Preface. 2017. Nigam V.; Florido M..
    10.1016/j.entcs.2017.04.001
  3. CLP(H): Constraint Logic Programming for Hedges. 2015. Dundua, B; Florido, M; Kutsia, T; Marin, M.
  4. Preface. 2015. Alves, S; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M; Gay, S; Martini, S; et al.
  5. Linear Recursion. 2010. Alves, Sandra; Fernández, Maribel; Florido, Mario; Mackie, Ian.
  6. Preface. 2010. Florido M.; Mackie I..
    10.4204/eptcs.22
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024/04/15 - Atual Linear Approximations for the Lambda-Calculus and Quantum Computing
Orientador
 Programa Doutoral em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2018/11 - 2024/06/03 Gradual Intersection Types
Orientador de Pedro Ângelo
 Doutoramento em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2018/11 - 2023/04/21 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
2010/09/03 - 2014/09/14 Programmimg with Sequence and Context Variables: Foundations and Applications
Orientador de Besiki Dundua
 Programa Doutoral 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
2024/01/01 - Atual Membro do Conselho de Representantes da Faculdade de Ciências da Universidade do Porto
Membro
 Universidade do Porto Faculdade de Ciências, Portugal
2023/04/30 - Atual Subdirector de Curso de Doutoramento Programa Doutoral em Ciência de Computadores
Presidente / Vice-presidente
 Universidade do Porto Faculdade de Ciências, Portugal
2023/04/01 - Atual Membro da Comissão Cientifica Licenciatura em Engenharia Informática e Computação
Membro
 Universidade do Porto, Portugal
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