MSc Students

• 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