Teaching
Feb 1, 2026
·
2 min read
Scientific Supervisions
| Student | Degree | Period | Role | Thesis Title | Institution | Advisor |
|---|---|---|---|---|---|---|
| Luís Xu | MSc in CS | Feb. 2026 – now | Co-advisor | Enhancing CFaults with Spectrum-Based Techniques for Scalable Fault Localization in C Programs | IST, UL, Portugal | Vasco Manquinho |
| Natan Gloeh | MSc in CS | Sep. 2025 – now | Co-advisor | An Intelligent Software Agent for Personalized Tutoring | IST, UL, Portugal | Arlindo L. Oliveira |
| Tiago Vaz | MSc in CS | Feb. 2025 – Oct. 2025 | Co-advisor | FeedFix: Generating Abstract and Personalized Feedback for Introductory Programming Assignments Through Automated Program Repair | IST, UL, Portugal | Vasco Manquinho |
Invited Teaching Assistant
From February 2020 to January 2025, I have served as a teaching assistant at Instituto Superior Técnico - Universidade de Lisboa, for the following courses across the scientific areas of Artificial Intelligence and Programming Methodology:
Logic for Programming:
Foundations of Programming:
Compilers:
Introduction to Algorithms and Data Structures:
Algorithms for Computational Logic:
Artificial Intelligence:
For some of these courses, I had the privilege of receiving the 🏆 Excellence in Teaching Award from IST 🏆 in 2021 and 2024. This award is based on achieving the highest student evaluation scores. In all other years, I am very happy to share that my teaching evaluations consistently exceeded 90%! 😃