???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.
Identification

Personal identification

Full name
Ana Paula Nunes Gomes 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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
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
2019/07 - 2023/02 Member of the Representatives Council 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
2009/09 - 2011/02 Director of the Bachelor in Computer Science Universidade do Porto Faculdade de Ciências, Portugal
2007/05 - 2009/09 Member of the Scientific Committee of the Master's of Science in Modelling, Analysis and Optimization of Industrial Processes (MAOPI) Universidade do Porto Faculdade de Ciências, Portugal
2007/07 - 2009/03 Member of the Direction Board of LIACC Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2007/06 - 2009/03 Group Coordinator - Advanced Programming Systems (LIACC) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
1998/06 - 2002/03 Member of the Pedagogic Council Universidade do Porto Faculdade de Ciências, Portugal
1988 - 1990 Member of the Pedagogic Council Universidade do Porto Faculdade de Ciências, Portugal

Others

Category
Host institution
Employer
1997/03 - Current Member of the Scientific Committee of the Department of Computer Science Universidade do Porto Faculdade de Ciências, Portugal
Projects

Contract

Designation Funders
2021/01/01 - 2025/12/31 Intelligent Systems Associate Laboratory
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
2009/01 - 2010/12 Approximate Resolution of Geometric Optimization Problems (Spanish-Portuguese Bilateral Action)
Researcher
Conselho de Reitores das Universidades Portuguesas
Concluded
2006/03 - 2007/12 MATINV: Interactive Mathematics for the visually impaired
POCI CV/PVI/300
Researcher
Ciência Viva
Concluded
2006/01 - 2007/12 Algorithmic Problems in Illumination, Visibility and Surveillance. (Spanish-Portuguese Bilateral Action)
EE-77/06
Researcher
Conselho de Reitores das Universidades Portuguesas
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
Fundação para a Ciência e a Tecnologia
Concluded
1997/01 - 1999 Solving constraints on natural numbers (and unification) - French / Portuguese Bilateral Action
ICCTI/CNRS - 4312
Researcher
Instituto de Cooperação Científica e Tecnológica Internacional (ICCTI)
Concluded
1995/01 - 1998/04 PROLOPPE Programação em Lógica Paralela com Extensões
Praxis 3/3.1/TIT/24/94
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
1993/08 - 1996/04 HCM SOL Network - Solving Constraints over Naturals, Integers and Finite Domains
ERB CHRXCT 920053
Researcher
European Union
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
2018/01 House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment SOFSEM 2018, 44th International Conference on Current Trends in Theory and Practice of Computer Science
Danube University Krems (Krems, Austria)
2016/12 On Visibility and Surveillance Problems A 4-Line Meeting of CMUP: War of the Worlds, U.Porto, Portugal.
CMUP (Portugal)
2015/08 On the Enumeration of Permutominoes. FCT 2015, 20th International Symposium on Fundamentals of Computation Theory
University of Gdansk (Gdansk, Poland)
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
2014/09 Automatic Generation and Delivery of Multiple-Choice Math Quizzes Seminar
University P. J. Šafárika (Kosice, Slovakia)
2013/09 Automatic Generation and Delivery of Multiple-Choice Math Quizzes. CP 2013, 19th International Conference on Principles and Practice of Constraint Programming
Uppsala University (Uppsala, Sweden)
2013/08 Guarding Thin Orthogonal Polygons Is Hard FCT 2013, 19th International Symposium on Fundamentals of Computation Theory
University of Liverpool (Liverpool, United Kingdom)
2012/03 On the enumeration of column-convex permutominoes. Voices of Cante
CMUP (Porto, Portugal)
2011/11 Guarding thin rectilinear polygons CMUP's Open Days
Universidade do Porto (Porto, Portugal)
2011/04 On direct enumeration of permutominoes Algebra, Combinatorics and Number Theory Seminar "Dia C de Combinatória"
Universidade do Porti (Porto, Portugal)
2007/08 A Web Application for Mathematics Education ICWL 2007, 6th International Conf. on Web-Based Learning
University of Edinburgh ( Edinburgh, United Kingdom)
2007/04 Matchings under Preferences Seminar at the Center for Research on Optimization and Control
Universidade de Aveiro (Aveiro, Portugal)
2007/02 Towards the Experimental Evaluation of an Approximation Algorithm for the MVG Problem 4th Iberian workshop on Computational Geometry
Universidade de Aveiro (Aveiro, Portugal)
2006/06 Weak stable matchings with tenants and ties CSCLP 2006, 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming
(Lisbon, Portugal)
2006/06 Designing a Solver for Arithmetic Constraints to Support Education in Mathematics AIAI 2006, 3rd IFIP Conf. Artificial Intelligence Applications and Innovations
University of Atenas (Athens, Greece)
2006/04 Poliominós e outros Animais: Como Somos? Quantos Somos? Conversas da Treta
DCC & LIACC / Universidade do Porto (Porto, Portugal)
2005/06 Casamentos Estáveis e Colocações de Professores Seminar at LIACC
LIACC / Universidade do Porto (Porto, Portugal)
2005/05 AGILMAT -- a Web Application for Math Education. (Demo) with J.P.Leal EPIA 2005 - Intelligent Systems Demonstrations Day
(Covilhã, Portugal)
2005/04 Stable Marriage and Teachers Recruitment in Portugal Seminar at CLC-IST
Center for Logic and Computation (CLC-IST) (Lisbon, Portugal)
2005/03 Casamentos Estáveis e Colocações de Professores Seminar at the Center for Research on Optimization and Control
Universidade de Aveiro (Aveiro, Portugal)
2004/05 Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices CGA 2004, 4th Workshop on Computational Geometry and Applications (part of ICCSA 2004)
(Assis, Italy)
2004/03 Quadratic-Time Linear Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices EWCG 2004, 20th European Workshop on Computational Geometry
University of Seville (Seville, Spain)
2003/12 Generating Orthogonal Polygons Seminar at the Center for Research on Optimization and Control
CEOC / Universidade de Aveiro (Aveiro, Portugal)
2003/11 Generating Random Orthogonal Polygons CAEPIA 2003, Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence
(San Sebastian, Spain)
2003/06 Approximation Algorithms to Minimum Vertex Cover Problems EGC 2003, X Encuentros de Geometria Computacional
University of Seville (Seville, Spain)
2003/01 A CLP-Based Tool for Computer Aided generation and Solving of Maths Exercises PADL 2003, 5th International Symposium on Practical Aspects of Declarative Languages
(New Orleans, LA, United States)
2002/09 Using Constraint Logic Programming to Generate Drills in Mathematics AGP 2002, Joint Conference on Declarative Programming, APPIA-GULP-PRODE,
Facultad de Informática, Universidad Politécnica de Madrid (Madrid, Spain)
2002/09 Solving Optimal Location of Traffic Count-Posts in CLP(FD) AGP 2002, Joint Conference on Declarative Programming, APPIA-GULP-PRODE
Facultad de Informática, Universidad Politécnica de Madrid (Madrid, Spain)
2002/04 Solving Optimal Location of Traffic Counting Posts at Urban Intersections in CLP(FD) MICAI 2002, Mexican International Conference on Artificial Intelligence
(Mérida, Yucatán, Mexico)
2001/12 Generating Mathematics Exercises by Computer CSOR - EPIA 2001, Workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving
Universidade do Porto (Porto, Portugal)
2001/12 Obtaining Origin-Destination Data at Optimal Cost at Urban Roundabouts CSOR - EPIA 2001, Workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving
Universidade do Porto (Porto, Portugal)
2001/12 On Symmetries in Systems Coming from AC-Unification of Higher-Order Patterns SymCon 2001, 1st Workshop on Symmetries in CSPs. (part of CP 2001)
(Paphos, Cyprus)
1997/10 Improving a Geometric Algorithm for Solving Linear Diophantine Equations on Naturals (extended abstract) ERCIM/COMPULOG Workshop on Constraints, 1997
(Linz, Austria)
1997/10 An algorithm for Solving Systems of Linear Diophantine equations in Naturals EPIA 1997, Portuguese Conference on Artificial Intelligence.
Universidade de Coimbra (Coimbra, Portugal)
1997/06 Solving linear Diophantine equations using the geometric structure of the solution space RTA 1997, 8th International Conference on Rewriting Techniques and Applications
(Stiges, Barcelona, Spain)
1996/10 Solving Linear Diophantine Constraints (invited lecture) EAIA 1996, 5th Portuguese Advanced School on Artificial Intelligence
(Monte Estoril, Portugal)
1995/11 Solving Linear Diophantine Constraints - the Single Mark Algorithm SOL Network - final workshop
LIACC / Universidade do Porto (Porto, Portugal)
1993/10 Fast Methods for Solving Linear Diophantine equations EPIA 1993, 6th Portuguese Conference on Artificial Intelligence
LIACC / Universidade do Porto (Porto, Portugal)
1993/08 Solving Linear Diophantine equations NATO Advanced Study Institute on Constraint Programming (Student Presentations)
(Tallinn, Estonia)
1992/02 A Congruence-based method with slope information for solving linear constraints over natural numbers Workshop on Constraint Logic Programming
(Marseille, France)

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
2016 - 2016 Portal do Utente ePM - my ePM
Co-supervisor
Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Business Intelligence na Saúde - um caso de estudo na ARS Norte
Co-supervisor
Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 Solução de Business Intelligence para Seguros
Co-supervisor
Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2009 Desenvolvimento de Estruturas de Análise na Saúde
Co-supervisor
Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2005/09 - 2007/09 Sobre Iluminação de Polígonos com Focos ou Refletores em Vértices
Co-supervisor
Matemática (Master)
Universidade de Aveiro, Portugal
2006/02 - 2006/07 Problema de Colocação de Professores
Supervisor
Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2002/09 - 2004/10 Minimização do Número de Vigilantes em Galerias de Arte por Aproximações Sucessivas
Supervisor
Informática (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
2025 - 2025 ICPC Europe Championship, 28. February – 2. March 2025. (2025)
Other (Member of the Organising Committee)
Universidade do Porto, 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
2016 - 2016 FSCD 2016, 1st International Conference on Formal Structures for Computation and Deduction, 22-26 June, Porto, Portugal. (2016)
Conference (Member of the Organising Committee)
2016 - 2016 SWERC 2016 - Southwestern Europe Regional Contest - ACM International Programming Contest (2016/11/19 - 2016/11/20)
Other (Member of the Scientific Committee)
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2015 SWERC 2015 - Southwestern Europe Regional Contest - ACM International Programming Contest (Chief Judge) (2015/11/21 - 2015/11/22)
Other (Member of the Scientific Committee)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 INFORUM 2014 - SOFT-PT (6º Simpósio de Informática) (2014)
Conference (Member of the Scientific Committee)
Universidade do Porto, Portugal
2014 - 2014 SWERC 2014 - Southwestern Europe Regional Contest - ACM International Programming Contest (Chief Judge) (2014/11/22 - 2014/11/23)
Other (Member of the Scientific Committee)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 INFORUM 2013 - SOFT-PT (5º Simpósio de Informática) (2013)
Congress (Member of the Scientific Committee)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
2012 - 2012 INFORUM 2012 - SOFT-PT (4º Simpósio de Informática) (2012)
Congress (Member of the Scientific Committee)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2012 MIUP 2012 - Maratona Inter-Universitária de Programação (2012/10/20)
Other (Member of the Scientific Committee)
Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2011 INFORUM 2011 - SOFT-PT (3º Simpósio de Informática) (2011)
Conference (Member of the Scientific Committee)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2009 - 2009 PPDP 2009, 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 7-9 September, Coimbra, Portugal (Publicity & Local Arrangements Chair) (2009)
Conference (Member of the Organising Committee)

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
2008 - 2008 5th Iberian Workshop on Computational Geometry
Workshop
5th Iberian Workshop on Computational Geometry
Universidade de Aveiro, Portugal
2006 - 2006 CP 2006, 12th International Conference on Principles and Practice of Constraint Programming (Nantes, France, September 25-29, 2006)
Conference
CP 2006, 12th International Conference on Principles and Practice of Constraint Programming
Nantes Université - Campus de La Roche-sur-Yon, France
2005 - 2005 CP 2005, 11th International Conference on Principles and Practice of Constraint Programming (Sitges, Spain, October 1-5)
Conference
2003 - 2003 CP 2003 - 9th International Conference on Principles and Practice of Constraint Programming (Kinsale, Ireland, September 29 - October 3, 2003)
Conference
2001 - 2001 CP2001, 7th International Conference on Principles and Practice of Constraint Programming (Paphos, Cyprus, November 26 - December 1, 2001)
Conference
1999 - 1999 International Summer School on Constraints in Computational Logics (Gif-sur-Yvette, Paris, France)
Other
1998 - 1998 CP 1998, 4th International Conference on Principles and Practice of Constraint Programming (Pisa, Italy, October 26-30)
Conference
1997 - 1997 CP 1997, 3rd International Conference on Principles and Practice of Constraint Programming (Linz, Austria, October 29 - November 1)
Conference
1996 - 1996 CO 1996, Symposium on Combinatorial Optimization (Londres, UK)
Symposium
Imperial College London, United Kingdom
1995 - 1995 EPIA 1995, 7th Portuguese Conference on Artificial Intelligence (Funchal, Madeira Island, Portugal, October 3-6)
Conference
1995 - 1995 4th International IPCO Conference on Integer Programming and Combinatorial Optimization (Copenhagen, Denmark, May 29-31)
Conference
1994/11 - 1994/12 Workshop HCM Sol Network (Orsay, Paris, November 1994)
Workshop
1993 - 1993 Workshop HCM Sol Network (Porto, November 1993)
Workshop
1993 - 1993 ICLP 1993, Tenth International Conference on Logic Programming (Budapest, Hungary, June 21-25)
Conference
1993 - 1993 Workshop on Constraint Logic Programming (Marseille, France)
Workshop
1993 - 1993 NATO Advanced Study Institute on Constraint Programming (Tallin, Estonia)
Other
1992 - 1992 EAIA 1992, 3rd Portuguese Advanced School on Artificial Intelligence - "Mathematical Logic and Knowledge Representation" (Furnas, S.Miguel, Azores)
Other
1991 - 1991 ICLP 1991, 8th International Conference on Logic Programming (Paris, France, June 24-28)
Conference
1991 - 1991 ESSLLI 1991, 3rd European Summer School in Natural Language Processing, Logic and Knowledge Representation (Saarbrucken, Germany)
Other
1990 - 1990 EAIA 1990, 2nd Portuguese Advanced School on Artificial Intelligence - "Mathematical Logic and Knowledge Representation" (Guarda, Portugal)
Other
1990 - 1990 ESSLLI 1990, 2nd European Summer School in Natural Language Processing, Logic and Knowledge Representation (Leuven, Belgium)
Other
1989 - 1989 ICLP 1989, 6th International Conference on Logic Programming (Lisbon, Portugal, June 19-23)
Conference
1989 - 1989 1as Jornadas de Linguística Computacional (Lisboa)
Workshop
1989 - 1989 ESSLLI 1989, 1st European Summer School in Natural Language Processing, Logic and Knowledge Representation (Groningen, Netherlands)
Other
1988 - 1988 Workshop on Computational Linguistics and Formal Semantics (Lugano, Switzerland)
Workshop
1988 - 1988 EAIA 1988, 3rd Portuguese Advanced School on Artificial Intelligence - "Knowledge Representation" (Mira, Portugal)
Other
1988 - 1988 International Summer School on Constructive Methods in Computing Science (Marktoberdorf, Germany)
Other
1987 - 1987 EPIA 1987, 3rd Portuguese Conference on Artificial Intelligence (Braga, Portugal)
Conference

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2025/04 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
President of the jury
Process 66/RN/UP/1365/2024 (Other)
Universidade do Porto, Portugal
2025/02 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc)
President of the jury
Process 66/RN/UP/1267/2024 (Other)
Universidade do Porto, Portugal
2025/01 Foreign Degree and Diploma Recognition - Specific Recognition (BSc)
President of the jury
Process 66/RE/UP/1195/2024 (Other)
Universidade do Porto, Portugal
2024/11 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
President of the jury
Process 66/RN/UP/144/2023 (Other)
Universidade do Porto, Portugal
2024/11 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
President of the jury
Process 66/RN/UP/789/2024 (Other)
Universidade do Porto, Portugal
2024/11 Foreign Degree and Diploma Recognition - Specific Recognition (BSc)
President of the jury
Process 66/RE/UP/703/2024 (Other)
Universidade do Porto, Portugal
2024/09 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc)
President of the jury
Process 66/RN/UP/668/2024 (Other)
Universidade do Porto, Portugal
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
2021 - 2021 Annals of Mathematics and Artificial Intelligence (1573-7470) Springer
2016 - 2016 Annals of Operations Research (0254-5330 ) Springer
2015 - 2015 Annals of Operations Research (0254-5330 ) Springer
2014 - 2014 Annals of Operations Research (0254-5330) Springer
2014 - 2014 Logic Methods in Computer Science (1860-5974) LOGICAL METHODS IN COMPUTER SCIENCE e.V.
2014 - 2014 International Journal of Electrical Power and Energy Systems (0142-0615) Elsevier
2010 - 2010 Algoritmica (0178-4617) Springer
2009 - 2009 Algoritmica (0178-4617) Springer
2009 - 2009 Transportation Research Part C: Emerging Technologies (0968-090X) Elsevier
2006 - 2006 Applied Mathematics Letters (0893-9659) Elsevier
1995 - 1995 Theoretical Computer Science (0304-3975) Elsevier
1995 - 1995 Journal of Symbolic Computation (0747-7171) Elsevier

Association member

Society Organization name Role
1987/10 - 2017 APPIA - Associação Portuguesa para a Inteligência Artificial Member (n. 128)
1991 - 1992 APPIA - Associação Portuguesa para a Inteligência Artificial Member of the Direction Board

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 - 2022 LICS 2022, Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science. (reviewer) Technion, Haifa, Israel
2019 - 2019 SOFSEM 2020, 46th International Conference on Current Trends in Theory and Practice of Informatics. (reviewer) University of Cyprus and Open University of Cyprus
2018 - 2018 SOFSEM 2019, 45th International Conference on Current Trends in Theory and Practice of Computer Science. (reviewer) Slovak Society of Computer Science, and Faculty of Mathematics, Physics, and Informatics, Comenius University. Bratislava, Slovakia
2017 - 2017 CCCG 2017, 29th Canadian Conference on Computational Geometry (reviewer) Carleton University, Ottawa, Canada
2014 - 2014 INFORUM 2014 - SOFT-PT (6º Simpósio de Informática). (reviewer and program committee member) Universidade do Porto, Portugal
2014 - 2014 SoCG 2014, Annual Symposium on Computational Geometry. (reviewer) Kyoto, Japan
2014 - 2014 RTA-TLCA 2014, Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications. (reviewer) Vienna, Austria
2013 - 2013 INFORUM 2013 - SOFT-PT (5º Simpósio de Informática) (reviewer and program committee member) Universidade de Évora, Portugal
2012 - 2012 INFORUM 2012 - SOFT-PT (4º Simpósio de Informática) (reviewer and program committee member) Universidade Nova de Lisboa, Portugal
2012 - 2012 ICLP 2012, 28th International Conference on Logic Programming. (reviewer) Budapest, Hungary
2011 - 2011 INFORUM 2011 - SOFT-PT (3º Simpósio de Informática) (reviewer and program committee member) Universidade de Coimbra, Portugal
2005 - 2005 ICLP 2005, 21st International Conference on Logic Programming. (reviewer) Stiges, Barcelona, Spain
2004 - 2004 ICLP 2004, 20th International Conference on Logic Programming. (reviewer) Saint-Malo, France
2002 - 2002 ICALP 2002, 29th International Colloquium on Automata, Languages and Programming. (reviewer) Malaga, Spain
2002 - 2002 AGP 2002, APPIA-GULP-PRODE Joint Conference on Declarative Programming. (reviewer) Madrid, Spain
2001 - 2001 EPIA 2001, Portuguese Conference on Artificial Intelligence. (reviewer) Porto, Portugal
2000 - 2000 PADL 2000, 2nd International Workshop on Practical Aspects of Declarative Languages. (reviewer) Boston, Massachusetts, EUA
1997 - 1997 CP 1997, 3rd International Workshop on Principles and Practice of Constraint Programming. (reviewer) Linz, Austria
1996 - 1996 CAAP 1996, Colloquium on Trees in Algebra and Programming. (reviewer) Linköping, Sweden
1995 - 1995 EPIA 1995, Portuguese Conference on Artificial Intelligence. (reviewer) Funchal (Madeira), Portugal
1993 - 1993 EPIA 1993, Portuguese Conference on Artificial Intelligence. (reviewer) Porto, Portugal
1990 - 1990 IBERAMIA 1990, 2nd Ibero-American Conference on Artificial Intelligence. (reviewer) Morelia (México)

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2024/09 - Current (L.EIC011) Algorithms and Data Structures Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
2024/02 - Current (CC2001) Design and Analysis of Algorithms. Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2024/02 - Current (CC4020) Advanced Topics in Algorithms Ciência de Computadores (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2024/02 - Current (CC2001) Design and Analysis of Algorithms. Inteligência Artificial e Ciência de Dados (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
2022/09 - Current (CC1001) Discrete Structures Inteligência Artificial e Ciência de Dados (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
2022 - Current (CC1001) Discrete Structures Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021/09 - 2024/07 (CC1024) Introduction to Programming (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2021/02 - 2023/09 (CC1004) Computational Models (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2019/09 - 2023/09 (CC4010) Algorithms Ciência de Computadores (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2022/02 - 2022/09 (L.EIC016) Algorithm Design Engenharia Informática e Computação (Licenciatura) Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 (CC1004,CC218) Computational Models Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2020/02 - 2021/09 (CC2006) Artificial Intelligence Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 Programming I Matemática Universidade do Porto Faculdade de Ciências, Portugal
2020 - 2020 (CC1003) Imperative Programming Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2020 (CC2013) Programming Laboratory Engenharia de Redes e Sistemas Informáticos Universidade do Porto Faculdade de Ciências, Portugal
2018/02 - 2019/09 (CC3003) Decision Support Methods Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2018 (CC4020) Advanced Topics in Algorithms Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2017 (CC1004,CC218) Computational Models Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2016 (CC4010) Algorithms Ciência de Computadores (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 (CC443) Geometric Algorithms Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2013 (CC211) Design and Analysis of Algorithms. Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2013 Decision Support Systems Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2013 (CC448) Models and Methods for Decision Support Engenharia Matemática Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2011 (CC452) Advanced Search Methods Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2010 - 2011 (CC211) Introduction to Programming Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2008 - 2008 (CC443) Geometric Algorithms Engenharia de Redes e Sistemas Informáticos (Mestrado integrado) Universidade do Porto Faculdade de Ciências, Portugal
2008 - 2008 (CC443) Geometric Algorithms Ciência de Computadores (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2007 Advanced Topics in Informatics Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2007 Operations Research I Engenharia de Redes e Sistemas Informáticos Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2007 Structured Programming Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2007 Structured Programming Engenharia de Redes e Sistemas Informáticos Universidade do Porto Faculdade de Ciências, Portugal
1999 - 2007 Decision Support Methods Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2004 - 2006 Quantitative Methods and Constraints Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2005 Mathematics for Computer Science Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1999 - 2003 Preparação para a Atividade Docente Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2002 - 2002 Mathematics for Computer Science Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2001 - 2002 Constraint Logic Programming Inteligência Artificial e Computação (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
1999 - 2002 Computers in Education Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2000 - 2000 Seminar Informática (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
1998 - 2000 Monografia Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1999 - 1999 Artificial Intelligence Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1999 - 1999 Imperative Programming Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1998 - 1998 Computational Models Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1998 - 1998 Data Structure and Algorithms Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1996 - 1998 Informatics Engenharia das Ciências Agrárias Universidade do Porto Faculdade de Ciências, Portugal
1997 - 1997 Constraint Logic Programming Inteligência Artificial e Computação (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
1997 - 1997 Computational Logic Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
1997 - 1997 Artificial Intelligence Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1988 - 1992 Introduction to Computers Matemática Aplicada, ramo de Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1988 - 1989 Cálculo Automático Matemática Aplicada, ramo de Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal

Evaluation committee

Activity description
Role
Institution / Organization Funding entity
2023 - 2024 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
2017/02 - 2017/06 Research grant, FCT/CMUP BI grant UID/MAT/00144/2013 (polygon generation; surveillance problems) Catarina Lobo Ferreira

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