Courses
Faculdade de Ciências da Universidade de Lisboa (Portugal)
- 2024/25 – Sabbatical
- 2023/24 – Functional Programming, Parallel and Concurrent Programming🎓, Software Systems Construction🎓, Compilers🎓
- 2022/23 – Functional Programming, Parallel and Concurrent Programming🎓, Software Systems Construction🎓, Compilers🎓
- 2021/22 – Parallel and Concurrent Programming🎓, Object-Centered Design🎓, Compilers🎓
- 2020/21 – Functional Programming, Parallel and Concurrent Programming🎓, Object-Centered Design🎓, Compilers🎓
- 2019/20 – Functional Programming, Parallel and Concurrent Programming🎓, Object-Centered Design🎓, Compilers🎓
- 2018/19 – Functional Programming, Parallel and Concurrent Programming🎓, Object-Centered Design🎓, Software Systems Construction
- 2017/18 – Functional Programming, Introduction to Programming, Object-Centered Design, Software Systems Construction
- 2016/17 – Object-Centered Design, Programming II
Department of Informatics Engineering of the University of Coimbra (Portugal)
- 2016/17 – Distributed Systems
- 2015/16 – Distributed Systems, Compilers
- 2014/15 – Distributed Systems, Compilers
- 2013/14 – Distributed Systems, Compilers, Multimedia
- 2012/13 – Distributed Systems, Operating Systems, Databases
- 2011/12 – Distributed Systems, Operating Systems, Applications for the Internet
- 2010/11 – Distributed Systems, Multimedia
ISCTEM (Mozambique)
- 2013/14 – Distributed Systems🎓
🎓 = Head Instructor
Support Materials
Compilers
- LLVM-IR Tutorial (in Portuguese)
- Language Server Skelleton
Software Systems Construction
- SpringBoot Setup (in Portuguese)
Guest Lecturers
I believe students need to be exposed to styles and experiences other than professors. As such, here is a non-exhaustive list of people I have invited to give lectures in my courses:
- Bruno Baptista, RedHat – MicroServices and Observability in Software Systems Construction 2024
- André Luis, Gitlab – Git at Gitlab in Software Systems Construction 2024
- Andrea Peruffo, RedHat – Introduction to WebAssembly in Compilers 2024
- João Reis, Cloudflare – Go and Go-routines at Cloudflare in Parallel and Concurrent Programming 2023
- Leonor Loureiro, Github – Git at Github in Software Systems Construction 2023
- Niki Vazou, IMDEA – Refinement Types in Compilers 2022
- Nuno Diegues, Cloudflare – Go and Go-routines in Parallel and Concurrent Programming 2021
- João Moreno, Microsoft – Microsoft ♥ Developers: introduction to LSP and LSIF in Compilers 2021
- Andreia Gaita, Unity – Compilers for Game Engines — a Tour of Unity in Compilers 2020
- André Luis, Gitlab – Git at Gitlab in Software Systems Construction 2019
- David Barbeiro, MiniClip – SOLID principles for Maintainable Software in Object-Oriented Development 2019
- Miguel Orcinha, LIP – MPI for Selecting Galactic protons to Study Solar Modulation of Galactic Cosmic Rays in Parallel and Concurrent Programming 2018