Student Supervisions

MSc Students

  • Gabriel Meirinho (Ongoing)

    • Automated Feature Engineering using Genetic Programming
    • Master Degree in Informatics Engineering
    • Faculdade de Ciências, Universidade de Lisboa
    • 2025/2026
  • Rúben Torres (Ongoing)

    • AI-Assisted Generation of Complex Objects for Software Testing
    • Master Degree in Informatics Engineering
    • Faculdade de Ciências, Universidade de Lisboa
    • 2025/2026
  • Pedro Gonçalves (Ongoing)

    • Qual o papel do vídeo como veículo da construção de conhecimento inclusivo?
    • Master Degree in Informatics Teaching
    • Instituto de Educação, Universidade de Lisboa
    • 2025/2026
  • João Paulo Vidal (Ongoing)

    • 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
    • Master Degree in Informatics Teaching
    • Instituto de Educação, Universidade de Lisboa
    • 2025/2026
  • Afonso Matos (Ongoing)

    • Finding Multi-Attribute Proxies using Genetic Programming
    • Master Degree in Computer Science and Engineering
    • Instituto Superior Técnico, Universidade de Lisboa
    • 2025/2026
  • Tomás Duarte (Concluded)

    • Handling incidents in train scheduling with Satisfiability Modulo Theories
    • Master Degree in Computer Science and Engineering
    • Instituto Superior Técnico, Universidade de Lisboa
    • 2024/2025
    • Link
  • Miguel Mendes (Concluded)

    • Finding Robust Train Schedules
    • Master Degree in Computer Science and Engineering
    • Instituto Superior Técnico, Universidade de Lisboa
    • 2024/2025
    • Link
  • António Pinheiro (Concluded)

    • Python library for boolean model revision
    • Master Degree in Computer Science and Engineering
    • Instituto Superior Técnico, Universidade de Lisboa
    • 2024
    • Link
  • Mariana Cintrão (Concluded)

    • Reasoning over Indirect Discrimination
    • Master Degree in Computer Science and Engineering
    • Instituto Superior Técnico, Universidade de Lisboa
    • 2022/2023
    • Link

Researchers

  • Rafael Gonçalves (Concluded)
    • Proxy Attribute Discovery in Machine Learning Datasets
    • Junior Researcher
    • INESC-ID
    • 2024

Assistant Professor

Invited Assistant Professor

 
 
 
 
 
Introduction to Programming
Sep 2025 – Jan 2026 Bologna Degree in Informatics Engineering

Teaching Assistant

 
 
 
 
 
Artificial Intelligence
May 2023 – Jun 2023 Bologna Degree in Computer Science and Engineering
 
 
 
 
 
Analysis and Synthesis of Algorithms
Nov 2022 – Feb 2023 Bologna Degree in Computer Science and Engineering
 
 
 
 
 
Algorithms for Computational Logic
Sep 2022 – Nov 2022 Bologna Master Degree in Computer Science and Engineering
 
 
 
 
 
Natural Language
Sep 2020 – Jan 2021 Bologna Master Degree in Computer Science and Engineering
 
 
 
 
 
Analysis and Synthesis of Algorithms
Feb 2020 – Jul 2020 Bologna Degree in Computer Science and Engineering
 
 
 
 
 
Natural Language
Sep 2019 – Jan 2020 Bologna Master Degree in Computer Science and Engineering
 
 
 
 
 
Analysis and Synthesis of Algorithms
Feb 2019 – Jul 2019 Bologna Degree in Computer Science and Engineering
 
 
 
 
 
Analysis and Synthesis of Algorithms
Feb 2018 – Jul 2018 Bologna Degree in Computer Science and Engineering
 
 
 
 
 
Introduction to Algorithms and Data Structures
Feb 2017 – Jul 2017 Bologna Degree in Computer Science and Engineering