He has lectured several graduate and undergraduate courses at Instituto Superior Técnico (IST) – University of Lisbon, covering a broad range of topics in the area of computer architecture and high-performance computing (HPC):
Graduate Courses at IST:
- 2022/2023:
- Large Scale Computing (1st Semester, PDEEC)
- 2020/2021:
- Large Scale Computing (1st Semester, PDEEC)
- 2016/2017:
- Large Scale Computing (1st Semester, PDEEC)
Undergraduate Courses at IST:
- 2023/2024:
- High Performance Computing Architectures (2nd Semester, MEEC)
- Computer Architecture (2º Semester, LEEC)
- 2022/2023:
- Parallel and Distributed Computing (2nd Semester, MECD, MEIC-A, MEIC-T, MEEC)
- Computer Architecture (2º Semester, LEEC)
- Digital Systems (1st Semester, LEEC)
- 2021/2022:
- Computer Architecture (2º Semester, LEEC)
- Digital Systems (1st Semester, LEEC)
- 2020/2021:
- Parallel and Distributed Computing (2nd Semester, MECD, MEIC-A, MEIC-T, MEEC)
- Computer Architecture (2º Semester, MEEC)
- Digital Systems (1st Semester, MEEC)
- 2019/2020:
- Parallel and Distributed Computing (2nd Semester, MECD, MEIC-A, MEIC-T, MEEC)
- Computer Architecture (2º Semester, MEEC)
- Digital Systems (1st Semester, MEEC)
- 2018/2019:
- Parallel and Distributed Computing (2nd Semester, MEIC-A, MEIC-T, MEEC)
- Computer Architecture (2nd Semester, MEEC)
- Digital Systems (1st Semester, MEEC)
- 2017/2018:
- Computer Architecture (2nd Semester, MEAer)
- Digital Systems (1st Semester, MEEC)
- 2016/2017:
- Computer Architecture (2nd Semester, MEAer)
- Digital Systems (1st Semester, MEEC)
- 2015/2016:
- Computer Architecture (2nd Semester, MEAer)
- Digital Systems (1st Semester, MEEC)
- 2014/2015:
- Computer Architecture (2nd Semester, MEAer)
- Digital Systems (1st Semester, MEEC)
- 2013/2014:
- Computer Architecture (2nd Semester, MEEC)
- Computer Architecture (2nd Semester, MEAer)
- Digital Systems (1st Semester, MEEC)
- 2012/2013:
- Computer Architecture (2nd Semester, MEAer)
- Computer Architecture (2nd Semester, MEEC)
- Digital Systems (1st Semester, LEIC-A)
- Digital Systems (1st Semester, MEEC)
- 2011/2012:
- Computer Architecture (2nd Semester, MEEC)
- Operating Systems (1st Semester, LEIC-T, LERC)
- Operating Systems (1st Semester, LEIC-A)
- Computer Architecture (1st Semester, MEAer)
- Architectures for Embedded Computing (1st Semester, MEIC-T)
- Architectures for Embedded Computing (1st Semester, MEIC-A)
- 2010/2011:
- Computer Architecture (2nd Semester, LEIC-A, MEIC-A)
- Computational Architectures for Multimedia Systems (2nd Semester, MEIC-T)
- Computational Architectures for Multimedia Systems (2nd Semester, MEIC-A)
- Architectures for Embedded Computing (1st Semester, MEIC-T)
- Architectures for Embedded Computing (1st Semester, MEIC-A)
- 2009/2010:
- Computer Architecture (2nd Semester, LEIC-A, MEIC-A)
- Computational Architectures for Multimedia Systems (2nd Semester, MEIC-A)
- Computational Architectures for Multimedia Systems (2nd Semester, MEIC-T)
- Architectures for Embedded Computing (1st Semester, MEIC-T)
- Architectures for Embedded Computing (1st Semester, MEIC-A)
- 2008/2009:
- Computer Architecture (2nd Semester, LEIC-A, MEIC-A)
- Architectures for Embedded Computing (1st Semester, MEIC-A)
- Architectures for Embedded Computing (1st Semester, MEIC-T, MERC)
- 2007/2008:
- Computer Architecture (2nd Semester, LEIC-A, MEIC-A)
- Architectures for Embedded Computing (2nd Semester, MEIC-A)
- Applications and Computation for the Internet of Things (1st Semester, MEIC-A)
- 2006/2007:
- Computer Architecture (2nd Semester, LEIC-A, LEIC-pB)
- Applications for Embedded Systems (1st Semester, LEIC-pB)
- 2005/2006:
- Computer Architecture (2nd Semester, LCI-pB, LEIC-pB)
- Software for Embedded Systems / Applications for Embedded Systems (1st Semester, LEIC-pB, MEIC-pB)
- 2004/2005:
- Computer Architecture (2nd Semester, LCI-pB, LEIC-pB)
- Operating Systems (1st Semester, LEA-pB, LCI-pB, LEEC-pB, LEIC-pB)
- 2003/2004:
- Computer Architecture (2nd Semester, LCI-pB, LEIC-pB, MEIC-pB)
- Operating Systems (1st Semester, LEIC-Taguspark-pB)