2012/2013
- Software Engineering, 1S (with J. Faria)
- Formal Methods in Software Engineering, 1S (with A. Paiva)
- Compilers, 2S (with J.Cardoso)
- Project Management Laboratory, 2S (with R. Vidal)
- Distributed Systems, 2S
2011/2012
- Software Development Laboratory, 1S (with A. Aguiar)
- Formal Methods in Software Engineering, 1S (with A. Paiva)
- Compilers, 2S (with J. Cardoso)
- Distributed Systems, 2S
- Project Management Laboratory, 2S
2010/2011
- 15-313 - Foundations of Software Engeneering, Carnegie Mellon University (with J. Aldrich and W. Scherlis)
- Source Code Analysis and Manipulation, 1S (MAP-i doctoral program)
- Compilers, 2S (with J. Cardoso)
- Distributed Systems, 2S
- Project Management Laboratory, 2S
2009/2010
- Projecto FEUP, 1S
- Operating Systems, 1S
- Distributed Systems, 1S (with P. Souto)
- Computer Architectures and Operating Systems, 2S (with P. Souto and H. Mendonca)
- Computer Laboratory, 2S