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
- http://www.dcc.fc.up.pt/~apt (Professional)
- https://sigarra.up.pt/fcup/pt/func_geral.formview?p_codigo=202844 (Professional)
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 |
|
Edited book |
|
Journal article |
|
Report |
|
Other
Other output |
|
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 |