Teaching
  • Bases de Dados , FCT NOVA, 2022/23 (responsible), 2021/22 (responsible), 2020/21, 2019/20, 2018/19, 2017/18, 2016/17, 2015/16
  • Inteligência Artificial, FCT NOVA, 2022/23, 2021/22, 2020/21, 2019/20, 2018/19, 2017/18
  • Representação de Conhecimento e Sistemas de Raciocínio, 2022/23 (responsible), 2021/22 (responsible), 2020/21 (responsible), 2019/20, 2018/19, 2017/18
  • Tecnologias de Inteligência Artificial para Biologia 2022/23 (responsible), 2021/22
  • Lógica Computacional, FCT NOVA, 2016/17
  • Programação para as Ciências Experimentais, FCT NOVA, 2011/12, 2010/11
  • Teoria de Computação, FCT NOVA, 2010/11
  • Knowledge Representation and Reasoning, FCT NOVA, 2009/10, 2008/09
  • Foundations of Logic and Constraint Programming, TU Dresden, 2004/05
  • Logik I and II, TU Dresden, 2001/02-2003/04
  • Programmierung, TU Dresden, 2001/02

Tutorials, Invited Lectures