Identificação
Identificação pessoal
- Nome completo
- Ana Paula 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)
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 |
Universidade do Porto Faculdade de Ciências, Portugal | ||
2019/07 - 2023/02 | Member of the Representatives Council | Universidade do Porto Faculdade de Ciências, Portugal |
Universidade do Porto Faculdade de Ciências, Portugal | ||
2014/10 - 2023/01 | Sub-Director of the Department of Computer Science | Universidade do Porto Faculdade de Ciências, Portugal |
Universidade do Porto Faculdade de Ciências, Portugal |
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
|
2006/03 - 2007/12 | MATINV: Interactive Mathematics for the visually impaired
POCI CV/PVI/300
Investigador
|
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
|
Concluído
|
1995/01 - 1998/04 | PROLOPPE Programação em Lógica Paralela com Extensões
Praxis 3/3.1/TIT/24/94
Investigador
|
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
|
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
|
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
|
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 |
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 |
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
|
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
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/01 - 2022/03 | Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022 (reviewer) | Technion, Haifa, Israel |
2019 - 2019 | 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020 (reviewer) | University of Cyprus and Open University of Cyprus |
2018 - 2018 | 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019 (reviewer) | Slovak Society of Computer Science, and Faculty of Mathematics, Physics, and Informatics, Comenius University. Bratislava, Slovakia |
Comissão de avaliação
Descrição da atividade Tipo de assessoria |
Instituição / Organização | Entidade financiadora | |
---|---|---|---|
2023 - Atual | 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/02 - Atual | Design and Analysis of Algorithms | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
2024/02 - Atual | Advanced Topics in Algorithms | (Mestrado) | Universidade do Porto Faculdade de Ciências, Portugal |
2022 - Atual | Discrete Structures | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
2021/09 - Atual | Introduction to Programming | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
2021/02 - 2023/09 | Models of Computation | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
2019/09 - 2023/09 | Algorithms | (Mestrado) | Universidade do Porto Faculdade de Ciências, Portugal |
2022/02 - 2022/09 | Design of Algorithms | (Licenciatura) | Universidade do Porto Faculdade de Engenharia, Portugal |
2020/02 - 2021/09 | Artificial Intelligence | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
2018/02 - 2019/09 | Decision Support Methods | (Licenciatura) | Universidade do Porto Faculdade de Ciências, Portugal |
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 |
2020/12 - 2021/02 | Annals of Mathematics and Artificial Intelligence (1573-7470) | Springer |
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 |
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 |