Diogo Lopes Vaz
I'm currently pursuing a Ph.D. in Computer Science and Engineering by Instituto Superior Técnico (IST), Universidade de Lisboa, Portugal and a junior researcher on the Distributed, Parallel, and Secure Systems (DPSS) at INESC-ID Lisboa studying the application of machine learning techniques on the generation of fault-tolerant algorithms
In addition, I'm also involved in teaching activities as a Teaching Assistant at IST and an Instructor in various courses.
Publications
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms with Reinforcement Learning
Diogo Vaz, David R. Matos, Miguel L. Pardal and Miguel Correia
IEEE Access Journal, June 2023
Automatic Generation of Distributed Algorithms with Generative AI
Diogo Vaz, David R. Matos, Miguel L. Pardal and Miguel Correia
The 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (Disrupt Track), June 2023
MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service
Diogo Vaz, David R. Matos, Miguel L. Pardal and Miguel Correia
IEEE Transactions on Cloud Computing Journal, May 2022
Academic Experience
Teaching Assistant
2021 - present
Artifact PC
2022 - present
Shadow PC
2025
Education
Ph.D. Computer Science
2021 - 2026 (expected)
AI, Machine Learning and Data Science
2024 - 2025
Ph.D. Visiting Student
2023
Industry Experience
Instructor
2025 - present
Software Developer
2023
IT Analyst
2020 - 2021
