???global.info.a_carregar???
Diogo Lopes Vaz. Concluiu o(a) Licenciatura em Engenharia Informática e de Computadores em 2019/01/17 pelo(a) Universidade de Lisboa Instituto Superior Técnico e o(a) Mestrado em Engenharia Informática e de Computadores em 2020/11/19, também pelo(a) Universidade de Lisboa Instituto Superior Técnico, com uma dissertação de mestrado classificada com 20 valores. Frequenta o(a) Doutoramento em Engenharia Informática e de Computadores pelo(a) Universidade de Lisboa Instituto Superior Técnico desde 2021/02/08. Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática. Esta página não é constantemente atualizada. Por isso, para mais informação e mais atualizada, visite a página pessoal do Diogo.
Read full resume ↓
Identification

Personal identification

Full name
Diogo Lopes Vaz

Citation names

  • Vaz, Diogo

Author identifiers

Ciência ID
0A19-9223-718D
ORCID iD
0000-0002-5329-2401

Email addresses

  • diogo.vaz@tecnico.ulisboa.pt (Professional)

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2021/02/08 - 2025/08/01
Ongoing
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/08 - 2025/07
Ongoing
 AI, Data Science and Machine Learning (Pós-Graduação)
CMU Portugal Academy, Portugal
2024/05 - 2024/05
Concluded
 Aluno Visitante (Doutoramento)
École Polytechnique Fédérale de Lausanne, Switzerland
2018/09/01 - 2020/11/19
Concluded
 Engenharia Informática e de Computadores (Mestrado)
Major in Sistemas Distribuídos, Inteligência Artificial e CiberSegurança
Universidade de Lisboa Instituto Superior Técnico, Portugal
"MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks" (THESIS/DISSERTATION)
 17
2015/09/01 - 2019/01/17
Concluded
 Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 14
Affiliation

Science

Category
Host institution 		Employer
2021/02/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2021/11/01 - Current Invited Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution 		Employer
2020/08/01 - 2021/02/28 Programador (OutSystems) Vodafone Portugal, Portugal
Vodafone Portugal, Portugal
2018/07/01 - 2018/09/01 Estágio Xpand IT, Portugal
Xpand IT, Portugal
Projects

Grant

Designation Funders
2021/01/01 - 2022/12/31 Digital Europe for All
870635
PhD Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission
Ongoing

Contract

Designation Funders
2023/01 - 2025/09 FCT Full-funded PhD Scholarship
2022.10788.BD
 Fundação para a Ciência e a Tecnologia
2024/08/01 - 2025/02/28 FAULTAGE: Generating Fault-Tolerant Consensus Algorithms with Reinforcement Learning
2024.07087.CPCA.A1
10.54499/2024.07087.CPCA.A1
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2023/07/01 - 2023/12/31 Solving Distributed Systems’ Problems using Generative AI
2022.73688.CPCA.A0
10.54499/2022.73688.CPCA.A0
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Conference paper
  1. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "Automatic Generation of Distributed Algorithms with Generative AI". 2023.
    10.1109/dsn-s58398.2023.00037
  2. Vaz, Diogo; David Rogério Póvoa de Matos; Miguel Filipe Leitão Pardal; Miguel Nuno Dias Alves Pupo Correia. "MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks". Paper presented in EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2020.
    Published • 10.1145/3448891.3448932
Journal article
  1. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3287405.
    10.1109/ACCESS.2023.3287405
  2. Vaz, Diogo; Matos, David; Pardal, Miguel.L.; Correia, Miguel. "MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service". IEEE Transactions on Cloud Computing (2022): 1-1. http://dx.doi.org/10.1109/tcc.2022.3178982.
    Published • 10.1109/tcc.2022.3178982
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2020/12/09 MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks MobiQuitous '20: Computing, Networking and Services
Conferência Virtual

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2022 - 2024 Sistemas Distribuídos Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11/29 - 2022/02/28 Segurança Informática em Redes e Sistemas Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal