João Matos

João-Matos
dual_degree_phd

João Matos is a Dual Degree PhD student in the CMU Portugal Program. He holds a Master’s from IST Lisbon, with specializations in Security and Algorithms. He was a visiting student at AGH University of Kraków and Université Grenoble Alpes, and has served as a teaching assistant at IST since 2024, teaching lab classes of Computer Science courses.

Research topics:Software Security; Program Analysis; Formal Methods
Enrollment year: 2026
PT Supervisor: Pedro Adão
PT Supervisor: José Fragoso Santos
CMU Supervisor: Ruben Martins