teaching
Foundations of Programming
Fall ‘22, Instituto Superior Técnico, University of Lisbon
Highly Dependable Systems
Spring ‘21, Instituto Superior Técnico, University of Lisbon
Operating Systems
Fall ‘20, Instituto Superior Técnico, University of Lisbon
Software Engineering
Spring ‘20, Instituto Superior Técnico, University of Lisbon
Operating Systems
Fall ‘19, Instituto Superior Técnico, University of Lisbon