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
- http://www.dcc.fc.up.pt/~apt (Profissional)
- https://sigarra.up.pt/fcup/pt/func_geral.formview?p_codigo=202844 (Profissional)
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 |
|
Artigo em revista |
|
Edição de livro |
|
Relatório |
|
Outros
Outra produção |
|
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 |