???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.
Read full resume ↓
Identification

Personal identification

Full name
Mário Florido

Citation names

  • Florido, Mário

Author identifiers

Ciência ID
121B-522B-5B55
ORCID iD
0000-0002-0574-7555

Email addresses

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
Education
Degree Classification
2021/03/15 - 2021/03/16
Concluded
 Agregação em Ciência de Computadores (Título de Agregado)
Universidade do Porto Faculdade de Ciências, Portugal
1998
Concluded
 Doutoramento em Ciência de Computadores (Doutoramento)
Major in Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
"Sistemas de Tipos para Linguagens Declarativas" (THESIS/DISSERTATION)
 aprovado por unanimidade
1991
Concluded
 Foundations of Advanced Information Technology (Master)
Imperial College London Department of Computing, United Kingdom
"A Constraint Solver fo IC-Prolog II" (THESIS/DISSERTATION)
 Pass
1989
Concluded
 Matemática Aplicada (ramo de Ciência de Computadores) (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"n/a" (THESIS/DISSERTATION)
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2010/03/17 - Current Associate Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1998/02/11 - 2010/03/17 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1995/09/01 - 1998/01/10 Assistant (University Teacher) Universidade do Minho Escola de Engenharia, Portugal
Projects

Contract

Designation Funders
2016/07/01 - 2019/08/01 Elven - Lógicas para verificação de programas na Web
PTDC/EEI-CTP/3506/2014
Principal investigator
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
Concluded
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
Concluded
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
Concluded
Outputs

Publications

Conference abstract
  1. Ângelo, Pedro; Florido, Mário. "Discrete Polymorphism with Dynamic Types". Paper presented in Days in Logic 2018, Aveiro, 2018.
Conference paper
  1. Miguel Abreu; Pedro Mota; Luís Paulo Reis; Nuno Lau; Mário Florido. "FC Portugal: RoboCup 2023 3D Simulation League Champions". 2023.
    Published • 10.1007/978-3-031-55015-7_35
  2. Silva, AC; Barbosa, M; Florido, M. "Execution Time Program Verification with Tight Bounds". 2023.
    10.1007/978-3-031-24841-2_4
  3. Ângelo, Pedro; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Florido, Mário. "Gradual Guarantee for FJ with lambda-Expressions". 2023.
    10.1145/3605156.3606453
  4. Barbosa, J; Florido, M; Costa, VS. "Data Type Inference for Logic Programming". Paper presented in Logic based Program Synthesis and Transformation (LOPSTR), 2022.
    10.1007/978-3-030-98869-2_2
  5. Barbosa, J; Florido, M; Costa, VS. "Typed SLD-Resolution: Dynamic Typing for Logic Programming". Paper presented in Logic-Based Program Synthesis and Transformation (LOPSTR), 2022.
    10.1007/978-3-031-16767-6_7
  6. Alves, S; Florido, M. "Structural Rules and Algebraic Properties of Intersection Types". Paper presented in Theoretical Aspects of Computing (ICTAC), 2022.
    10.1007/978-3-031-17715-6_6
  7. Ângelo, P; Florido, M. "Type Inference for Rank-2 Intersection Types Using Set Unification". 2022.
    10.1007/978-3-031-17715-6_29
  8. Ângelo, Pedro; Florido, Mário. "A Typed Lambda Calculus with Gradual Intersection Types". Paper presented in 4th International Symposium on Principles and Practice of Declarative Programming (PPDP), 2022.
    10.1145/3551357.3551382
  9. Reis, F; Alves, S; Florido, M. "Linear Rank Intersection Types". 2022.
    10.4230/lipics.types.2022.8
  10. Moreira, S; Vasconcelos, PB; Florido, M. "Resource Analysis for Lazy Evaluation with Polynomial Potential". 2020.
    10.1145/3462172.3462196
  11. Florido, Mário; Pedro Ângelo. "Type Inference for Rank 2 Gradual Intersection Types". Paper presented in The symposium on Trends in Functional Programming (TFP), 2019.
    Accepted
  12. Barbosa, J; Florido, M; Costa, VS. "A Three-Valued Semantics for Typed Logic Programming". 2019.
    10.4204/eptcs.306.10
  13. Ângelo, P; Florido, M. "Type Inference for Rank 2 Gradual Intersection Types". 2019.
    10.1007/978-3-030-47147-7_5
  14. Ângelo, Pedro; Florido, Mário; Vasconcelos, Pedro. "Gradual Compound Data Types". Paper presented in 10º Simpósio Nacional de Informática (INForum 2018), Coimbra, 2018.
  15. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Types". Paper presented in 9th Workshop on Intersection Types and Related Systems (ITRS 2018), Oxford, 2018.
  16. Dundua, B; Florido, M; Kutsia, T. "Lambda Calculus with Regular Types". 2016.
    10.1109/synasc.2015.29
  17. Nigam, V; Florido, M. "Preface". 2016.
  18. 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
  19. 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
  20. Amaral, C; Florido, M; Costa, VS. "PrologCheck - Property-Based Testing in Prolog". 2014.
    10.1007/978-3-319-07151-0_1
  21. 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
  22. 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
  23. Coelho, J; Florido, M; Kutsia, T. "Collaborative Schema Construction using Regular Sequence Types". 2008.
    10.1109/iri.2009.5211567
  24. Coelho, J; Florido, M. "Type-based static and dynamic website verification". 2007.
    10.1109/iciw.2007.67
  25. Coelho, J; Florido, M. "XCentric: A Logic-Programming Language for XML Processing". 2007.
  26. Simões, HR; Hammond, K; Florido, M; Vasconcelos, PB. "Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs". 2006.
  27. Alves, S; Florido, M. "Type inference using constraint handling rules". 2002.
    10.1016/s1571-0661(04)80346-3
  28. Alves, S; Florido, M. "On the Relation between Rank 2 Intersection Types and Simple Types". 2002.
Conference poster
  1. Ângelo, Pedro; Florido, Mário. "Gradual Intersection Type Inference". Paper presented in Student Research Competition of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019.
Edited book
  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.
Journal article
  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.

Other

Other output
  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
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2018/11 - Current Gradual Intersection Types
Supervisor of Pedro Ângelo
 Doutoramento em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2018/11 - 2023/04/21 Type Assignment in Logic Programming
Supervisor of João Barbosa
 Doutoramento em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2010/09/03 - 2014/09/14 Programmimg with Sequence and Context Variables: Foundations and Applications
Supervisor of Besiki Dundua
 Programa Doutoral em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2005/09 - 2014/02 Amortised Resource Analysis for Lazy Functional Programs
Supervisor of Hugo Simões
 Doutoramento em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2009/07 - 2013/05 Semantics-based Program Verification: an Abstract Interpretation Approach
Supervisor of Vítor Rodrigues
 MAPI - MAP Doctoral Program in Computer Science (PhD)
Universidade do Porto, Portugal
2004/07 - 2007/11 XML Processing in Logic Programming
Supervisor of Jorge Coelho
 Doutoramento em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2002/10 - 2007/07 Linearisation of the Lambda-Calculus
Supervisor of Sandra Alves
 Doutoramento em Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (PhD)
Universidade do Porto Faculdade de Ciências, Portugal

Committee member

Activity description
Role 		Institution / Organization
2024/01/01 - Current Membro do Conselho de Representantes da Faculdade de Ciências da Universidade do Porto
Member
 Universidade do Porto Faculdade de Ciências, Portugal
2023/04/30 - Current Subdirector de Curso de Doutoramento Programa Doutoral em Ciência de Computadores
President / Vice-president
 Universidade do Porto Faculdade de Ciências, Portugal
2023/04/01 - Current Membro da Comissão Cientifica Licenciatura em Engenharia Informática e Computação
Member
 Universidade do Porto, Portugal
2019 - Current Membro da direção do Laboratório em Inteligência Artificial e Ciência de Computadores da Universidade do Porto (LIACC)
Member
 Universidade do Porto, Portugal
2017/01/01 - Current Member of the Management Committee of the European research network on types for programming and verification (EUTypes) - CA15123
Member
 European Union, Belgium
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
President / Vice-president
 Universidade do Porto Faculdade de Ciências, Portugal

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
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
Evaluator
 Fundação para a Ciência e a Tecnologia, Portugal Fundação para a Ciência e a Tecnologia