???global.info.a_carregar???
Filipe Gouveia is an Assistant Professor at the Faculty of Sciences of the University of Lisbon and an Integrated Researcher at LASIGE. From 2024 to 2025, Filipe was a Software Engineer at SISCOG, in the Department of Innovation, applying Boolean Satisfiability to the generation of non-periodic train schedules. From 2023 to 2024, Filipe was a Research Associate at the Department of Computer Science of the University of Oxford in the Logic and Learning (LOL) group, in the field of Inductive Logic Programming. From 2016 to 2023, Filipe was a researcher at INESC-ID Lisboa in the Automated Reasoning and Software Reliability (ARSR) group. Filipe obtained an MSc in Information Systems and Computer Engineering from IST - Universidade de Lisboa in 2012. Then, he worked in the private sector, as a software developer. In 2021, he obtained a Ph.D. in Computer Science and Engineering from IST - Universidade de Lisboa, being approved with distinction. During his Ph.D., he was awarded a doctoral grant from Fundação para a Ciência e Tecnologia (FCT). His Ph.D. work focused on the application of logic-based approaches and algorithms to revise Boolean logical models of biological regulatory networks. His research interests are included in the field of artificial intelligence, such as algorithms for computational logic, constraint solving, and optimization. He enjoys addressing practical problems with logic-based approaches, namely problems in the biology field. Other research interests include program synthesis, machine learning, and natural language processing. From 2017 to 2023, Filipe was a teaching assistant at IST - Universidade de Lisboa, in the Department of Computer Science, in several courses of the areas of algorithms, and artificial intelligence, being awarded IST Excellent Teacher for four years.
Read full resume ↓
Identification

Personal identification

Full name
João Filipe Rosado Gouveia

Citation names

  • Filipe Gouveia
  • Gouveia, Filipe

Author identifiers

Ciência ID
FF10-8917-D9E9
ORCID iD
0000-0003-1852-2782
Google Scholar ID
h0orKuoAAAAJ
Researcher Id
AAA-7225-2022

Email addresses

  • jfgouveia@ciencias.ulisboa.pt (Professional)
  • filipe.gouveia@tecnico.ulisboa.pt (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
Education
Degree Classification
2016/02 - 2021/09/17
Concluded
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Model Revision of Boolean Logical Models of Biological Regulatory Networks" (THESIS/DISSERTATION)
 Pass with Distinction
2012
Concluded
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Protein Design using Answer Set Programming" (THESIS/DISSERTATION)
 18/20
2010
Concluded
 Licenciatura em Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"n/a" (THESIS/DISSERTATION)
 15/20
Affiliation

Science

Category
Host institution 		Employer
2025/09/18 - Current Researcher (Research) Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2023/09/01 - 2024/06/28 Contracted Researcher (Research) University of Oxford - Department of Computer Science, United Kingdom
2022/01/01 - 2023/06/30 Contracted Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018/01 - 2021/02 Researcher (Research) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2016/01 - 2017/12 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/09 - 2013/02 Research Trainee (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2025/12/01 - Current Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2025/09/02 - 2025/11/30 Invited Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Other Careers

Category
Host institution 		Employer
2024/09/02 - 2025/09/01 Carreiras / Categorias Subsistentes SISCOG - Sistemas Cognitivos, S.A., Portugal
2013/03 - 2015/10 Técnico Superior (Técnico Superior) Altice Portugal, Portugal
Projects

Grant

Designation Funders
2018/01/01 - 2021/02/28 PhD Grant - Inference and Revision of Models of Biological Regulatory Networks
SFRH/BD/130253/2017
PhD Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Fundação para a Ciência e a Tecnologia, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2016/01 - 2016/06 DataStorm - Large scale management in cloud environments
EXCL/EEI-ESS/0257/2012
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
2011/09 - 2012/09 ASPEN - Answer Set Programming with BoolEaN Satisfiability
PTDC/EIA-CCO/110921/2009
Master Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2022/01 - Current GOLEM: Automated Programming to Revolutionize App Development
ANI 045917
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Ongoing
2016/07/01 - 2019/06/30 ERGODiC - Métodos formais para a análise da dinâmica de redes modulares de regulação genética
PTDC/EEI-CTP/2914/2014
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Fundação Calouste Gulbenkian, Portugal
Fundação para a Ciência e a Tecnologia
Concluded

Other

Designation Funders
2023/03/12 - Current Reasoning over Indirect Discrimination
2022.03537.PTDC
Co-Principal Investigator (Co-PI)
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Outputs

Publications

Book chapter
  1. Filipe Gouveia; Luís Albino; Ricardo L. Saldanha. "A MaxSAT Approach for the Train Timetabling Problem with Route Choice and Other Features". 2026.
    10.1007/978-3-032-05179-0_14
  2. Rafael Gonçalves; Filipe Gouveia; Inês Lynce; José Fragoso Santos. "Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming". 2025.
    10.1007/978-3-031-90653-4_17
  3. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks". 339-348. Springer International Publishing, 2020.
    10.1007/978-3-030-60327-4_18
  4. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Model Revision of Boolean Regulatory Networks at Stable State". 2019.
    10.1007/978-3-030-20242-2_9
  5. Filipe Gouveia; Pedro T. Monteiro; Manquinho, Vasco; Inês Lynce. "Logic-Based Encodings for Ricochet Robots". 2017.
    10.1007/978-3-319-65340-2_54
Conference paper
  1. Minghao Liu; David M. Cerna; Filipe Gouveia; Andrew Cropper. "Scalable Knowledge Refactoring Using Constrained Optimisation". 2025.
    10.1609/aaai.v39i14.33650
Journal article
  1. Lemos, Alexandre; Gouveia, Filipe; Monteiro, Pedro T.; Lynce, Inês. "Iterative Train Scheduling under Disruption with Maximum Satisfiability". Journal of Artificial Intelligence Research 79 (2024): 1047-1090. http://dx.doi.org/10.1613/jair.1.14924.
    Published • 10.1613/jair.1.14924
  2. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Revision of Boolean Models of Regulatory Networks Using Stable State Observations". Journal of Computational Biology 27 2 (2020): 144-155. http://dx.doi.org/10.1089/cmb.2019.0289.
    10.1089/cmb.2019.0289
  3. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Model Revision of Logical Regulatory Networks Using Logic-Based Tools". (2018): http://drops.dagstuhl.de/opus/volltexte/2018/9889/.
    10.4230/oasics.iclp.2018.23

Other

Other output
  1. Semi-automatic model revision of Boolean regulatory networks: confronting time-series observations with (a)synchronous dynamics. 2020. Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. https://doi.org/10.1101/2020.05.10.086900.
    10.1101/2020.05.10.086900
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2025/09 - Current AI-Assisted Generation of Complex Objects for Software Testing
Supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2025/09 - Current Automated Feature Engineering using Genetic Programming
Supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2025/09 - Current Implementação do Agile Based Learning no Ensino de Multimédia em Aplicações Informáticas B: Potencial para a Motivação e Aprendizagem dos Alunos do 12ºAno
Co-supervisor
 Ensino de Informática (Master)
Universidade de Lisboa Instituto da Educação, Portugal
2025/09 - Current Qual o papel do vídeo como veículo da construção de conhecimento inclusivo?
Co-supervisor
 Ensino de Informática (Master)
Universidade de Lisboa Instituto da Educação, Portugal
2025/09 - Current Finding Multi-Attribute Proxies using Genetic Programming
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/09 - 2025/11/10 Handling incidents in train scheduling with Satisfiability Modulo Theories
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/02 - 2025/05/27 Python library for boolean model revision
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/09 - 2025/05/20 Finding Robust Train Schedules
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09 - 2023/11/13 Reasoning over Indirect Discrimination
Supervisor
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2025/10 - Current SAT/SMT/AR Summer School 2026 (2026/07/13 - 2026/07/17)
Other (Member of the Organising Committee)

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2025/09 - 2025/12 Introduction to Programming (Introdução à Programação) Engenharia Informática (Licenciatura) Universidade de Lisboa Faculdade de Ciências, Portugal
2022/11 - 2023/02 Analysis and Synthesis of Algorithms (Análise e Síntese de Algoritmos) Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2022/09 - 2022/11 Algorithms for Computational Logic (Algoritmos para Lógica Computacional) Engenharia Informática e de Computadores (Mestrado integrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 - 2021/02 Natural Language (Língua Natural) Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02 - 2020/07 Analysis and Synthesis of Algorithms (Análise e Síntese de Algoritmos) Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2019/09 - 2020/02 Natural Language (Língua Natural) Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/02 - 2019/07 Analysis and Synthesis of Algorithms (Análise e Síntese de Algoritmos) Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02 - 2018/07 Analysis and Synthesis of Algorithms (Análise e Síntese de Algoritmos) Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/02 - 2017/07 Introduction to Algorithms and Data Structures (Introdução a Algoritmos e Estrutura de Dados) Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
Distinctions

Other distinction

2024 IST Excellent Teachers 2022/2023 (IST Docentes Excelentes 2022/2023)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 IST Excellent Teachers 2020/2021 (IST Docentes Excelentes 2020/2021)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 IST Excellent Teachers 2019/2020 (IST Docentes Excelentes 2019/2020)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 IST Excellent Teachers 2018/2019 (IST Docentes Excelentes 2018/2019)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 Diploma of Merit
Universidade de Lisboa Instituto Superior Técnico, Portugal