???global.info.a_carregar???
Ana Paula Tomás is associate professor at the the Department of Computer Science of the Faculty of Sciences of the University of Porto. She holds a Ph.D degree in Computer Science, by University of Porto, since 1997. Her current research interests include design and analysis of algorithms for combinatorial and optimisation problems, namely combinatorics and computational complexity of geometric guarding problems, generation and enumeration of geometric objects, algorithms for graph problems and also applications of constraint-based logic languages for computer-assisted learning. She was a researcher at the Artificial Intelligence and Computer Science Laboratory (LIACC) since its foundation (1986) until 12/2010, when she moved to the Center of Mathematics of University of Porto (CMUP). She has been a member of the Representatives Council of the Faculty of Science of the University of Porto (07/2019-02/2023), sub-director of the Department of Computer Science (10/2014-01/2023), and is director of BSc on Computer Science, since 09/2020.
Read full resume ↓
Identification

Personal identification

Full name
Ana Paula Tomás

Citation names

  • Tomás, Ana Paula

Author identifiers

Ciência ID
681D-6978-B5D3
ORCID iD
0000-0002-1776-4897
Google Scholar ID
d-2DbyMAAAAJ

Addresses

  • Faculdade de Ciências, Universidade do Porto. DCC-FCUP & CMUP, Rua do Campo Alegre, 1021/1055, 4169 - 007, Porto, Porto, Portugal (Professional)

Websites

Education
Degree Classification
1997
Concluded
 PhD in Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
"On Solving Linear Diophantine Constraints" (THESIS/DISSERTATION)
 Aprovado por unanimidade
1989
Concluded
 Provas de Aptidão Pedagógica e Capacidade Científica (Mestrado)
Major in Ciência de Computadores – Teoria da Computacão
Universidade do Porto Faculdade de Ciências, Portugal
"Problemas de Representação Semântica em Interfaces a Bases de Dados" (THESIS/DISSERTATION)
 Muito Bom
1987
Concluded
 Degree in Mathematics (Applied Mathematics) (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"--" (THESIS/DISSERTATION)
 17 / 20
Affiliation

Science

Category
Host institution 		Employer
2010/12/30 - Current Researcher (Research) Universidade do Porto Centro de Matemática, Portugal
Universidade do Porto Centro de Matemática, Portugal
1988/09 - 2010/12/30 Researcher (Research) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2009/02/12 - Current Associate Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1997/03/07 - 2009/02/11 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1989/12 - 1997/03/07 Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1987/09 - 1989/12 Trainee Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1986/09/29 - 1987/09/27 Tutor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2020/09 - Current Director of the Bachelor in Computer Science Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2019/07 - 2023/02 Member of the Representatives Council Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2014/10 - 2023/01 Sub-Director of the Department of Computer Science Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projects

Contract

Designation Funders
2021/01/01 - 2025/12/31 Intelligent Systems Associate Laboratory
10.54499/LA/P/0104/2020
Researcher
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Porto Centro de Matemática, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade Nova de Lisboa, Portugal

Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal

Instituto Politécnico do Cávado e do Ave, Portugal

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

Universidade de Aveiro, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal

Universidade de Coimbra, Portugal

Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho Instituto de Polímeros e Compósitos, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal

Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
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
Researcher
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 e Tecnologias Agrárias e Agro-Alimentares, Portugal

Universidade de Évora, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2006/03 - 2007/12 MATINV: Interactive Mathematics for the visually impaired
POCI CV/PVI/300
Researcher
Concluded
2003/12/10 - 2007/08/20 AGILMAT- Geração Automática de Exercícios Interactivos para Ensino de Matemática
POSI/CHS/48565/2002
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2001/07/04 - 2003/04/04 GANESH - Ambiente Modular e Distribuído de Ensino de Ciência de Computadores
POSI/EEI/14232/2001
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
1999/06 - 2001/06 CORE: Formal systems and computational complexity
PRAXIS/P/EEI/14233/98
Researcher
Concluded
1995/01 - 1998/04 PROLOPPE Programação em Lógica Paralela com Extensões
Praxis 3/3.1/TIT/24/94
Researcher
Concluded
Outputs

Publications

Conference paper
  1. Cruz V.; Tomás A.P.. "On r-Guarding SCOTs – A New Family of Orthogonal Polygons". 2022.
    10.1007/978-3-031-20624-5_43
  2. Tomás, AP. "House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment". 2018.
    10.1007/978-3-319-73117-9_34
  3. Catarina Lobo Ferreira; Tomás, Ana Paula. "On covering path orthogonal polygons". Paper presented in XVII Spanish Meeting on Computational Geometry, Alicante, 2017.
  4. Tomás, AP. "On the enumeration of permutominoes". 2015.
    10.1007/978-3-319-22177-9_4
  5. Tomas, AP. "Guarding thin orthogonal polygons is hard". 2013.
    10.1007/978-3-642-40164-0_29
  6. Tomas, AP; Leal, JP. "Automatic Generation and Delivery of Multiple-Choice Math Quizzes". 2013.
    10.1007/978-3-642-40627-0_62
  7. Tomas, AP; Leal, JP; Domingues, MA. "A web application for mathematics education". 2008.
    10.1007/978-3-540-78139-4_34
  8. Tomas, AP; Bajuelos, AL; Marques, F. "On visibility problems in the plane - Solving minimum vertex guard problems by successive approximations". 2006.
  9. Tomas, AP; Moreira, N; Pereira, N. "Designing a solver for arithmetic constraints to support education in mathematics". 2006.
    10.1007/0-387-34224-9_50
  10. Tomás, Ana Paula. "Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD)". Paper presented in Mexican International Conference on Artificial Intelligence, 2002.
    10.1007/3-540-46016-0_26
  11. Tomás, AP. "Solving Optimal Location of Traffic Count Posts in CLP(FD)". 2002.
  12. Tomás, AP; Leal, JP; Vasconcelos, P. "Using Constraint Logic Programming to Generate Drills in Mathematics". 2002.
  13. Tomás, AP; Filgueiras, M. "An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals". 1997.
    10.1007/BFb0023912
  14. Domenjoud, E; Tomàs, AP. "From elliott-macmahon to an algorithm for general linear constraints on naturals". 1995.
    10.1007/3-540-60299-2_2
  15. Filgueiras, M; Tomás, AP. "Fast Methods for Solving Linear Diophantine Equations". 1993.
    10.1007/3-540-57287-2_55
  16. FILGUEIRAS, M; TOMAS, AP. "SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING". 1991.
    10.1007/3-540-54535-2_21
  17. TOMAS, AP; FILGUEIRAS, M. "A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS". 1991.
    10.1007/3-540-54535-2_23
  18. Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP. "Natural Language and Natural Menus Interfaces". 1990.
  19. Filgueiras, M; Moreira, N; Tomás, AP. "General Introduction". 1990.
    10.1007/3-540-53678-7_1
  20. Tomás, AP; Filgueiras, M. "Some comments on a logic programming approach to natural language semantics". 1989.
    10.1007/3-540-51665-4_85
Edited book
  1. Filgueiras, M; Damas, L; Moreira, N; Tomás, AP. Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings. 1991.
Journal article
  1. Contejean, E; Marche, C; Tomas, AP; Urbain, X. "Mechanically proving termination using polynomial interpretations". JOURNAL OF AUTOMATED REASONING (2005):
    10.1007/s10817-005-9022-x
  2. Tomas, AP; Bajuelos, AL. "Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices". COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3 (2004):
    10.1007/978-3-540-24767-8_13
  3. Bajuelos, AL; Tomas, AP; Marques, F. "Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces". COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3 (2004):
    10.1007/978-3-540-24767-8_14
  4. Tomas, AP; Bajuelos, AL. "Generating random orthogonal polygons". CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE (2003):
    10.1007/978-3-540-25945-9_36
  5. Tomas, AP; Bajuelos, AL; Marques, F. "Approximation algorithms to minimum vertex cover problems on polygons and terrains". COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS (2003):
    10.1007/3-540-44860-8_90
  6. Tomas, AP; Leal, JP. "A CLP-based tool for computer aided generation and solving of maths exercises". PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS (2003):
    10.1007/3-540-36388-2_16
  7. Tomas, AP; Filgueiras, M. "Solving linear Diophantine equations using the geometric structure of the solution space". REWRITING TECHNIQUES AND APPLICATIONS (1997):
    10.1007/3-540-62950-5_77
  8. Filgueiras, M; Tomas, AP. "A fast method for finding the basis of non-negative solutions to a linear diophantine equation". JOURNAL OF SYMBOLIC COMPUTATION (1995):
    10.1006/jsco.1995.1029
  9. FILGUEIRAS, M; TOMAS, AP. "SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING". LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (1991):
  10. TOMAS, AP; FILGUEIRAS, M. "A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS". LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (1991):
    10.1007/3-540-54535-2_23
Report
  1. Tomás, Ana Paula. 2020. Review (after publication) for MR3827010 Epasto, Alessandro et al., Efficient approximation for restricted biclique cover problems. Algorithms (Basel) 11 (2018), no. 6.
  2. Tomás, Ana Paula. 2018. Review (after publication) for MR3703246 Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter Complexity of $n$-queens completion. J. Artificial Intelligence Res. 59 (2017), 815--84.
  3. Tomás, Ana Paula. 2018. Review (after publication) for MR3663818 Nguyen, Kien Trung; Pham Van Chien; Ly Hong Hai; Huynh Duc Quoc A simple linear time algorithm for computing a 1-median on cactus graphs. Appl. Appl. Math. 12 (2017), no. 1, 70--77.
  4. Tomás, Ana Paula. 2017. Review (after publication) for MR3593911 Aziz, Haris; Biró, Péter; Gaspers, Serge; de Haan, Ronald; Mattei, Nicholas; Rastegari, Baharak Stable matching with uncertain linear preferences. Algorithmic game theory, 195--206, Lecture Notes in Comput. Sci., 9928, Springer, Berlin, 2016.
  5. Tomás, Ana Paula. 2017. Review (after publication) for MR3567620 Fox-Epstein, Eli; Tóth, Csaba D.; Winslow, Andrew Diffuse reflection radius in a simple polygon. Algorithmica 76 (2016), no. 4, 910--931.
  6. Tomás, Ana Paula. 2017. Review (after publication) for MR3441165 Sæther, Sigve Hortemo; Vatshelle, Martin Hardness of computing width parameters based on branch decompositions over the vertex set. Theoret. Comput. Sci. 615 (2016), 120--125.
  7. Tomás, Ana Paula. 2016. Review (after publication) for MR3426951 Akiba, Takuya; Iwata, Yoichi Branch-and-reduce exponential/FPT algorithms in practice: a case study of vertex cover. Theoret. Comput. Sci. 609 (2016), part 1, 211--225..

Other

Other output
  1. Preface. 1991. Filgueiras, M; Damas, L; Moreira, N; Tomás, AP.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2024/01 Programa Casamenteiro / Amores e Algoritmos Palestras nas Escolas
Escola João Gonçalves Zarco (Matosinhos, Portugal)
2023/02 Exercícios de Matemática à la carte FCUP Open Days
Universidade do Porto FCUP/DCC
2020/02 Amores e Algoritmos FCUP Open Days
Universidade do Porto FCUP/DCC
2019/02 Galerias de Arte - Corte ou Costura FCUP Open Days
Universidade do Porto FCUP/DCC
2015/05 Fast. Cheap. Reliable. Choose two. (http://dcctalks.dcc.fc.up.pt/wordpress/?page_id=34#APT20150527) DCC Talks
Universidade do Porto FCUP/DCC

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2022/09 - 2023/12/07 Deep Learning for Combinatorial Problems. Exploring Hadamard matrices.
Co-supervisor
 Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2020/09 - 2022/12/05 Geração automática de exercícios de trigonometria
Supervisor
 Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2021/09 - 2022/07/20 Algorithms for Art Gallery Problems
Supervisor
 Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2015/09 - 2016/11/24 Algorithms for Chromatic Art Gallery Problems with Vertex a-Guards
Supervisor
 Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2005 - Current ToPAS - Torneio de programação destinado a estudantes do ensino secundário (https://topas.dcc.fc.up.pt) programming contest for high school students (2005)
Other (Member of the Scientific Committee)
 Universidade do Porto Faculdade de Ciências, Portugal

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Universidade do Algarve Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023 XX Spanish Meeting on Computational Geometry (2023/07/03 - 2023/07/05)
Conference (Member of the Scientific Committee)
 Universidade de Santiago de Compostela, Spain

Universidad de Alcalá, Spain

Universitat Politècnica de Catalunya, Spain
2022 - 2022 First Congress Ciências (1º Congresso de Ciências / Associação de Estudantes FCUP) - Poster Contest (2022/03/11 - 2022/03/11)
Congress (Member of the Scientific Committee)
 Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2021 16th Doctoral Symposium in Informatics Engineering (DSIE 2021) (2021/04/04 - 2021/04/06)
Symposium (Member of the Scientific Committee)
 Universidade do Porto Faculdade de Engenharia, Portugal
2020 - 2020 SWERC 2020 - 2021 - FC Universidade do Porto site director (in collaboration with J.P.Leal, as technical director). Due to Covid-19 lockdowns, the event finally took place as an online contest, organised by Institut Polytechnique de Paris.. (2021/03/06 - 2021/03/07)
Other (Co-organisor)
2019 - 2019 ICPC 2019 - 43rd Annual World Finals of the International Collegiate Programming Contest (hosted by the University of Porto; https://www.up.pt/arquivoweb/icpc2019uppt/index.html) (2019/03/31 - 2019/04/05)
Other (Other)
 Universidade do Porto, Portugal
2018 - 2018 1st Edition of Battle of Universities - initiative created by OutSystems in partnership with EDP and Universidades Nova de Lisboa, de Coimbra, Algarve, Lisboa e Porto (2018/11/03 - 2018/11/03)
Other (Member of the Scientific Committee)
 OutSystems, Portugal

Universidade do Porto, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2023/11/24 - 2023/11/24 Invited member (talk on Artificial Intelligence: Concepts, Opportunities, and Challenges for Education)
Round table
 Inteligência Artificial: Conceitos, Oportunidades, e Desafios para a Educação
Universidade do Porto Faculdade de Psicologia e de Ciências da Educação, Portugal
2018/07/02 - 2018/07/02 CMUP's Demo: "Exercícios de Matemática à la Carte" (joint work with J.P.Leal)
Exhibition
 Ciência 2018
Fundação para a Ciência e a Tecnologia, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2024 Foreign Degree and Diploma Recognition - Level Recognition with Classification (MSc).
President of the jury
 66/RN/UP/1272/2023 (Master)
Universidade do Porto, Portugal
2023/12 Deep Learning for Combinatorial Problems. Exploring Hadamard matrices
Supervisor
 Rúben André Mota Dhanaraju (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2022/12 Geração automática de exercícios de trigonometria
Supervisor
 Armando Manuel Ferreira da Silva Martins (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2022/07 Algorithms for Art Gallery Problems
Supervisor
 Vasco José Rodrigues Cruz (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2022/05 Collaborative Mobility to Enable High-Density Parking Lots
Thesis Member
 José Miguel Pereira Azevedo (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2022/01 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
President of the jury
 Process 66/RN/UP/829/2021 (Other)
Universidade do Porto, Portugal
2021/11 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
President of the jury
 Process 66/RN/UP/817/2021 (Other)
Universidade do Porto, Portugal
2021/10 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
President of the jury
 Process 66/RN/UP/220/2020 (Other)
Universidade do Porto, Portugal
2021/07 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
President of the jury
 Process 66/RN/UP/270/2021 (Other)
Universidade do Porto, Portugal
2021/07 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
President of the jury
 Process 66/RN/UP/927/2020 (Other)
Universidade do Porto, Portugal
2021/07 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
President of the jury
 Process 66/RN/UP/150/2021 (Other)
Universidade do Porto, Portugal
2021/05 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
President of the jury
 Process 66/RN/UP/71/2021 (Other)
Universidade do Porto, Portugal
2021/03 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
President of the jury
 Process 66/RN/UP/780/2020 (Other)
Universidade do Porto, Portugal
2020/12 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
President of the jury
 Process 66/RN/UP/929/2019 (Other)
Universidade do Porto, Portugal
2017/09 Using Restarts in Constraint Programming over Finite Domains - An Experimental Evaluation
Thesis Member
 Luís Manuel Tremoceiro Baptista (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09 Cutting & Packing Problems: General Arc-flow Formulation with Graph Compression
Thesis Member
 Filipe Daniel Alves Brandão (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2016/11 Algorithms for Chromatic Art Gallery Problems with Vertex a-Guards
Supervisor
 Catarina Lobo do Souto Ferreira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2013/11 Construção e edição de diagramas de Voronoi na esfera
(Thesis) Arguer
 João Carlos Brito Dinis (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/11 Reasoning with Uncertainty in Continuous Domains
Thesis Member
 Elsa Cristina Batista Bento Carvalho (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/11 Limited Range Coverage Problems
(Thesis) Arguer
 Inês Pereira de Matos (PhD)
Universidade de Aveiro, Portugal
2008 Uma linguagem computacional para a reescrita de expressões matemáticas por via axiomática
(Thesis) Arguer
 Jaime Augusto Alves Remédios (PhD)
Universidade Aberta, Portugal
2007/03 Ant colony algorithms for multiple objective combinatorial optimisation: Applications to the minimum spanning tree problem (http://hdl.handle.net/11441/57932)
(Thesis) Arguer
 Pedro Jorge Sequeira Cardoso (PhD)
Universidad de Sevilla Facultad de Matemáticas, Spain
2002/05 Contribuições para o estudo de sistemas lineares inconsistentes
(Thesis) Arguer
 Paula Amaral (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Ad Hoc journal article review

Journal title (ISSN) Publisher
2023 - 2023 Soft Computing ( 1433-7479) Springer
2020/12 - 2021/02 Annals of Mathematics and Artificial Intelligence (1573-7470) Springer

Conference scientific committee

Conference name Conference host
2023 - 2023 XX Spanish Meeting on Computational Geometry (reviewer and program committee member) University of Santiago de Compostela, Spain
2022/01 - 2022/03 Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022 (reviewer) Technion, Haifa, Israel
2019 - 2019 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020 (reviewer) University of Cyprus and Open University of Cyprus
2018 - 2018 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019 (reviewer) Slovak Society of Computer Science, and Faculty of Mathematics, Physics, and Informatics, Comenius University. Bratislava, Slovakia

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2024/02 - Current Design and Analysis of Algorithms (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2024/02 - Current Advanced Topics in Algorithms (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2022 - Current Discrete Structures (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021/09 - Current Introduction to Programming (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021/02 - 2023/09 Models of Computation (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2019/09 - 2023/09 Algorithms (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2022/02 - 2022/09 Design of Algorithms (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal
2020/02 - 2021/09 Artificial Intelligence (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2018/02 - 2019/09 Decision Support Methods (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2023 - Current Concurso Documental para Professor Coordenador área disciplinar de Engenharia Informática
Evaluator
 Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2023 - 2023 Computer Science Selection Committee of the 2023 call for Scholarships - under CMU Portugal Affiliated Ph.D. Programs Initiative.
Evaluator
 Fundação para a Ciência e a Tecnologia, Portugal

Mentoring / Tutoring

Topic Student name
2022/03/01 - 2022/06/30 Research Grant Bachelor's Degree - UIDB-MAT-00144-2020 (CMUP-LASI, financed by FCT) - Algorithms for Art Gallery Problems Vasco José Rodrigues Cruz

Other jury / evaluation

Activity description Institution / Organization
2014 - Current Member of the Jury of "Provas de avaliação da capacidade para a frequência da FCUP dos maiores de 23 anos " for the Bachelor's Degrees in Mathematics, Computer Science, MI Eng. Networks and Computer Systems (until 2020) and Artificial Intelligence and Data Science Universidade do Porto Faculdade de Ciências, Portugal
Distinctions

Award

2022 IEEE PT CS Outstanding M.Sc. Thesis Award (award to Vasco José Rodrigues Cruz, “Algorithms for Art Gallery Problems”)
2019 ICPC Joseph S. DeBlasi Outstanding Contribution Award