Teaching
Assistant Professor, FCT, Universidade NOVA de Lisboa
- Artificial Intelligence
- Computer and Software Engineering
(2019/20), (2020/21);
- Databases
- Computer and Software Engineering
(2019/20), (2020/21);
Invited Assistant Professor, FCT, Universidade NOVA de Lisboa
- Artificial Intelligence
- Computer and Software Engineering
(2018/19);
- Computational logic
- Computer and Software Engineering
(2016/17), (2017/18);
- Theory of Computation
- Computer and Software Engineering
(2015/16), (2016/17), (2017/18);
Teaching assistant, FCT, Universidade NOVA de Lisboa
- Theory of Computation
- Computer and Software Engineering
(2010/11);
Teaching assistant, IST, Universidade Técnica de Lisboa
- Theory of Computation
- Computer and Software Engineering
(2002/03, 2003/04, 2004/05, 2005/06, 2006/07, 2007/08);
- Discrete mathematics
- Computer and Software Engineering
(2003/04, 2005/06).
- Logic
- Applied Mathematics and Computation
(2002/03).