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