???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.
Identificação

Identificação pessoal

Nome completo
Ana Paula Nunes Gomes Tomás

Nomes de citação

  • Tomás, Ana Paula

Identificadores de autor

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

Moradas

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau Classificação
1997
Concluído
PhD in Computer Science (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
"On Solving Linear Diophantine Constraints" (TESE/DISSERTAÇÃO)
Aprovado por unanimidade
1989
Concluído
Provas de Aptidão Pedagógica e Capacidade Científica (Mestrado)
Especialização em 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" (TESE/DISSERTAÇÃO)
Muito Bom
1987
Concluído
Degree in Mathematics (Applied Mathematics) (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"--" (TESE/DISSERTAÇÃO)
17 / 20
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2010/12/30 - Atual Investigador (Investigação) Universidade do Porto Centro de Matemática, Portugal
Universidade do Porto Centro de Matemática, Portugal
1988/09 - 2010/12/30 Investigador (Investigação) 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

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2009/02/12 - Atual Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1997/03/07 - 2009/02/11 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1989/12 - 1997/03/07 Assistente (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1987/09 - 1989/12 Assistente Estagiário (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1986/09/29 - 1987/09/27 Monitor (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2020/09 - Atual 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

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
1997/03 - Atual Member of the Scientific Committee of the Department of Computer Science Universidade do Porto Faculdade de Ciências, Portugal
Projetos

Projeto

Designação Financiadores
2021/01/01 - 2025/12/31 Intelligent Systems Associate Laboratory
Investigador
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
Em curso
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
Investigador
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
Concluído
2009/01 - 2010/12 Approximate Resolution of Geometric Optimization Problems (Spanish-Portuguese Bilateral Action)
Investigador
Conselho de Reitores das Universidades Portuguesas
Concluído
2006/03 - 2007/12 MATINV: Interactive Mathematics for the visually impaired
POCI CV/PVI/300
Investigador
Ciência Viva
Concluído
2006/01 - 2007/12 Algorithmic Problems in Illumination, Visibility and Surveillance. (Spanish-Portuguese Bilateral Action)
EE-77/06
Investigador
Conselho de Reitores das Universidades Portuguesas
Concluído
2003/12/10 - 2007/08/20 AGILMAT- Geração Automática de Exercícios Interactivos para Ensino de Matemática
POSI/CHS/48565/2002
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2001/07/04 - 2003/04/04 GANESH - Ambiente Modular e Distribuído de Ensino de Ciência de Computadores
POSI/EEI/14232/2001
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
1999/06 - 2001/06 CORE: Formal systems and computational complexity
PRAXIS/P/EEI/14233/98
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
1997/01 - 1999 Solving constraints on natural numbers (and unification) - French / Portuguese Bilateral Action
ICCTI/CNRS - 4312
Investigador
Instituto de Cooperação Científica e Tecnológica Internacional (ICCTI)
Concluído
1995/01 - 1998/04 PROLOPPE Programação em Lógica Paralela com Extensões
Praxis 3/3.1/TIT/24/94
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
1993/08 - 1996/04 HCM SOL Network - Solving Constraints over Naturals, Integers and Finite Domains
ERB CHRXCT 920053
Investigador
European Union
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em 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)". Trabalho apresentado em 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
Artigo em revista
  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
Edição de livro
  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.
Relatório
  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..

Outros

Outra produção
  1. Preface. 1991. Filgueiras, M; Damas, L; Moreira, N; Tomás, AP.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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, Áustria)
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, Polónia)
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, Eslováquia)
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, Suécia)
2013/08 Guarding Thin Orthogonal Polygons Is Hard FCT 2013, 19th International Symposium on Fundamentals of Computation Theory
University of Liverpool (Liverpool, Reino Unido)
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, Reino Unido)
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, Grécia)
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, Itália)
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, Espanha)
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, Espanha)
2003/06 Approximation Algorithms to Minimum Vertex Cover Problems EGC 2003, X Encuentros de Geometria Computacional
University of Seville (Seville, Espanha)
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, Estados Unidos)
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, Espanha)
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, Espanha)
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, México)
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, Chipre)
1997/10 Improving a Geometric Algorithm for Solving Linear Diophantine Equations on Naturals (extended abstract) ERCIM/COMPULOG Workshop on Constraints, 1997
(Linz, Áustria)
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, Espanha)
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, Estónia)
1992/02 A Congruence-based method with slope information for solving linear constraints over natural numbers Workshop on Constraint Logic Programming
(Marseille, França)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2022/09 - 2023/12/07 Deep Learning for Combinatorial Problems. Exploring Hadamard matrices.
Coorientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2020/09 - 2022/12/05 Geração automática de exercícios de trigonometria
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2021/09 - 2022/07/20 Algorithms for Art Gallery Problems
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015/09 - 2016/11/24 Algorithms for Chromatic Art Gallery Problems with Vertex a-Guards
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2016 Portal do Utente ePM - my ePM
Coorientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Business Intelligence na Saúde - um caso de estudo na ARS Norte
Coorientador
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 Solução de Business Intelligence para Seguros
Coorientador
Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2009 Desenvolvimento de Estruturas de Análise na Saúde
Coorientador
Ciência de Computadores (Mestrado)
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
Coorientador
Matemática (Mestrado)
Universidade de Aveiro, Portugal
2006/02 - 2006/07 Problema de Colocação de Professores
Orientador
Ciência de Computadores (Licenciatura/Bacharelato)
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
Orientador
Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2005 - Atual 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)
Outro (Membro da Comissão Científica)
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)
Outro (Membro da Comissão Organizadora)
Universidade do Porto, Portugal
2023 - 2023 XX Spanish Meeting on Computational Geometry (2023/07/03 - 2023/07/05)
Conferência (Membro da Comissão Científica)
Universidade de Santiago de Compostela, Espanha

Universidad de Alcalá, Espanha

Universitat Politècnica de Catalunya, Espanha
2022 - 2022 First Congress Ciências (1º Congresso de Ciências / Associação de Estudantes FCUP) - Poster Contest (2022/03/11 - 2022/03/11)
Congresso (Membro da Comissão Científica)
Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2021 16th Doctoral Symposium in Informatics Engineering (DSIE 2021) (2021/04/04 - 2021/04/06)
Simpósio (Membro da Comissão Científica)
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)
Outro (Coorganizador)
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)
Outro (Outra)
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)
Outro (Membro da Comissão Científica)
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)
Conferência (Membro da Comissão Organizadora)
2016 - 2016 SWERC 2016 - Southwestern Europe Regional Contest - ACM International Programming Contest (2016/11/19 - 2016/11/20)
Outro (Membro da Comissão Científica)
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)
Outro (Membro da Comissão Científica)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 INFORUM 2014 - SOFT-PT (6º Simpósio de Informática) (2014)
Conferência (Membro da Comissão Científica)
Universidade do Porto, Portugal
2014 - 2014 SWERC 2014 - Southwestern Europe Regional Contest - ACM International Programming Contest (Chief Judge) (2014/11/22 - 2014/11/23)
Outro (Membro da Comissão Científica)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 INFORUM 2013 - SOFT-PT (5º Simpósio de Informática) (2013)
Congresso (Membro da Comissão Científica)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
2012 - 2012 INFORUM 2012 - SOFT-PT (4º Simpósio de Informática) (2012)
Congresso (Membro da Comissão Científica)
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)
Outro (Membro da Comissão Científica)
Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2011 INFORUM 2011 - SOFT-PT (3º Simpósio de Informática) (2011)
Conferência (Membro da Comissão Científica)
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)
Conferência (Membro da Comissão Organizadora)

Participação em evento

Descrição da atividade
Tipo de evento
Nome do evento
Instituição / Organização
2023/11/24 - 2023/11/24 Invited member (talk on Artificial Intelligence: Concepts, Opportunities, and Challenges for Education)
Mesa-redonda
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)
Exposição
Ciência 2018
Fundação para a Ciência e a Tecnologia, Portugal
2008 - 2008 5th Iberian Workshop on Computational Geometry
Oficina (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)
Conferência
CP 2006, 12th International Conference on Principles and Practice of Constraint Programming
Nantes Université - Campus de La Roche-sur-Yon, França
2005 - 2005 CP 2005, 11th International Conference on Principles and Practice of Constraint Programming (Sitges, Spain, October 1-5)
Conferência
2003 - 2003 CP 2003 - 9th International Conference on Principles and Practice of Constraint Programming (Kinsale, Ireland, September 29 - October 3, 2003)
Conferência
2001 - 2001 CP2001, 7th International Conference on Principles and Practice of Constraint Programming (Paphos, Cyprus, November 26 - December 1, 2001)
Conferência
1999 - 1999 International Summer School on Constraints in Computational Logics (Gif-sur-Yvette, Paris, France)
Outro
1998 - 1998 CP 1998, 4th International Conference on Principles and Practice of Constraint Programming (Pisa, Italy, October 26-30)
Conferência
1997 - 1997 CP 1997, 3rd International Conference on Principles and Practice of Constraint Programming (Linz, Austria, October 29 - November 1)
Conferência
1996 - 1996 CO 1996, Symposium on Combinatorial Optimization (Londres, UK)
Simpósio
Imperial College London, Reino Unido
1995 - 1995 EPIA 1995, 7th Portuguese Conference on Artificial Intelligence (Funchal, Madeira Island, Portugal, October 3-6)
Conferência
1995 - 1995 4th International IPCO Conference on Integer Programming and Combinatorial Optimization (Copenhagen, Denmark, May 29-31)
Conferência
1994/11 - 1994/12 Workshop HCM Sol Network (Orsay, Paris, November 1994)
Oficina (workshop)
1993 - 1993 Workshop HCM Sol Network (Porto, November 1993)
Oficina (workshop)
1993 - 1993 ICLP 1993, Tenth International Conference on Logic Programming (Budapest, Hungary, June 21-25)
Conferência
1993 - 1993 Workshop on Constraint Logic Programming (Marseille, France)
Oficina (workshop)
1993 - 1993 NATO Advanced Study Institute on Constraint Programming (Tallin, Estonia)
Outro
1992 - 1992 EAIA 1992, 3rd Portuguese Advanced School on Artificial Intelligence - "Mathematical Logic and Knowledge Representation" (Furnas, S.Miguel, Azores)
Outro
1991 - 1991 ICLP 1991, 8th International Conference on Logic Programming (Paris, France, June 24-28)
Conferência
1991 - 1991 ESSLLI 1991, 3rd European Summer School in Natural Language Processing, Logic and Knowledge Representation (Saarbrucken, Germany)
Outro
1990 - 1990 EAIA 1990, 2nd Portuguese Advanced School on Artificial Intelligence - "Mathematical Logic and Knowledge Representation" (Guarda, Portugal)
Outro
1990 - 1990 ESSLLI 1990, 2nd European Summer School in Natural Language Processing, Logic and Knowledge Representation (Leuven, Belgium)
Outro
1989 - 1989 ICLP 1989, 6th International Conference on Logic Programming (Lisbon, Portugal, June 19-23)
Conferência
1989 - 1989 1as Jornadas de Linguística Computacional (Lisboa)
Oficina (workshop)
1989 - 1989 ESSLLI 1989, 1st European Summer School in Natural Language Processing, Logic and Knowledge Representation (Groningen, Netherlands)
Outro
1988 - 1988 Workshop on Computational Linguistics and Formal Semantics (Lugano, Switzerland)
Oficina (workshop)
1988 - 1988 EAIA 1988, 3rd Portuguese Advanced School on Artificial Intelligence - "Knowledge Representation" (Mira, Portugal)
Outro
1988 - 1988 International Summer School on Constructive Methods in Computing Science (Marktoberdorf, Germany)
Outro
1987 - 1987 EPIA 1987, 3rd Portuguese Conference on Artificial Intelligence (Braga, Portugal)
Conferência

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2025/04 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
Presidente do júri
Process 66/RN/UP/1365/2024 (Outro)
Universidade do Porto, Portugal
2025/02 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc)
Presidente do júri
Process 66/RN/UP/1267/2024 (Outro)
Universidade do Porto, Portugal
2025/01 Foreign Degree and Diploma Recognition - Specific Recognition (BSc)
Presidente do júri
Process 66/RE/UP/1195/2024 (Outro)
Universidade do Porto, Portugal
2024/11 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
Presidente do júri
Process 66/RN/UP/144/2023 (Outro)
Universidade do Porto, Portugal
2024/11 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
Presidente do júri
Process 66/RN/UP/789/2024 (Outro)
Universidade do Porto, Portugal
2024/11 Foreign Degree and Diploma Recognition - Specific Recognition (BSc)
Presidente do júri
Process 66/RE/UP/703/2024 (Outro)
Universidade do Porto, Portugal
2024/09 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc)
Presidente do júri
Process 66/RN/UP/668/2024 (Outro)
Universidade do Porto, Portugal
2024 Foreign Degree and Diploma Recognition - Level Recognition with Classification (MSc).
Presidente do júri
66/RN/UP/1272/2023 (Mestrado)
Universidade do Porto, Portugal
2023/12 Deep Learning for Combinatorial Problems. Exploring Hadamard matrices
Orientador
Rúben André Mota Dhanaraju (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/12 Geração automática de exercícios de trigonometria
Orientador
Armando Manuel Ferreira da Silva Martins (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/07 Algorithms for Art Gallery Problems
Orientador
Vasco José Rodrigues Cruz (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022/05 Collaborative Mobility to Enable High-Density Parking Lots
Vogal
José Miguel Pereira Azevedo (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2022/01 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
Presidente do júri
Process 66/RN/UP/829/2021 (Outro)
Universidade do Porto, Portugal
2021/11 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
Presidente do júri
Process 66/RN/UP/817/2021 (Outro)
Universidade do Porto, Portugal
2021/10 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
Presidente do júri
Process 66/RN/UP/220/2020 (Outro)
Universidade do Porto, Portugal
2021/07 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
Presidente do júri
Process 66/RN/UP/270/2021 (Outro)
Universidade do Porto, Portugal
2021/07 Foreign Degree and Diploma Recognition - Level Recognition (BSc)
Presidente do júri
Process 66/RN/UP/927/2020 (Outro)
Universidade do Porto, Portugal
2021/07 Foreign Degree and Diploma Recognition - Level Recognition (BSc).
Presidente do júri
Process 66/RN/UP/150/2021 (Outro)
Universidade do Porto, Portugal
2021/05 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
Presidente do júri
Process 66/RN/UP/71/2021 (Outro)
Universidade do Porto, Portugal
2021/03 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
Presidente do júri
Process 66/RN/UP/780/2020 (Outro)
Universidade do Porto, Portugal
2020/12 Foreign Degree and Diploma Recognition - Level Recognition with Classification (BSc).
Presidente do júri
Process 66/RN/UP/929/2019 (Outro)
Universidade do Porto, Portugal
2017/09 Using Restarts in Constraint Programming over Finite Domains - An Experimental Evaluation
Vogal
Luís Manuel Tremoceiro Baptista (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09 Cutting & Packing Problems: General Arc-flow Formulation with Graph Compression
Vogal
Filipe Daniel Alves Brandão (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2016/11 Algorithms for Chromatic Art Gallery Problems with Vertex a-Guards
Orientador
Catarina Lobo do Souto Ferreira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013/11 Construção e edição de diagramas de Voronoi na esfera
Arguente
João Carlos Brito Dinis (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/11 Reasoning with Uncertainty in Continuous Domains
Vogal
Elsa Cristina Batista Bento Carvalho (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/11 Limited Range Coverage Problems
Arguente
Inês Pereira de Matos (Doutoramento)
Universidade de Aveiro, Portugal
2008 Uma linguagem computacional para a reescrita de expressões matemáticas por via axiomática
Arguente
Jaime Augusto Alves Remédios (Doutoramento)
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)
Arguente
Pedro Jorge Sequeira Cardoso (Doutoramento)
Universidad de Sevilla Facultad de Matemáticas, Espanha
2002/05 Contribuições para o estudo de sistemas lineares inconsistentes
Arguente
Paula Amaral (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
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)

Comissão de avaliação

Descrição da atividade
Tipo de assessoria
Instituição / Organização Entidade financiadora
2023 - 2024 Concurso Documental para Professor Coordenador área disciplinar de Engenharia Informática
Avaliador
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.
Avaliador
Fundação para a Ciência e a Tecnologia, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2024/09 - Atual (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 - Atual (CC2001) Design and Analysis of Algorithms. Ciência de Computadores (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal
2024/02 - Atual (CC4020) Advanced Topics in Algorithms Ciência de Computadores (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal
2024/02 - Atual (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 - Atual (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 - Atual (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

Membro de associação

Nome da associação Tipo de participação
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

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2014 - Atual 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

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
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

Tutoria

Tópico Nome do aluno
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
Distinções

Prémio

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