???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Diogo Lopes Vaz

Nomes de citação

  • Vaz, Diogo

Identificadores de autor

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

Endereços de correio eletrónico

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

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2021/02/08 - 2025/08/01
Em curso
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2020/11/19
Concluído
 Engenharia Informática e de Computadores (Mestrado)
Especialização em 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" (TESE/DISSERTAÇÃO)
 17
2015/09/01 - 2019/01/17
Concluído
 Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 14
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/02/01 - Atual Investigador (Investigação) 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

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/11/01 - Atual Assistente Convidado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
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
Projetos

Bolsa

Designação Financiadores
2021/01/01 - 2022/12/31 Digital Europe for All
870635
Bolseiro de Doutoramento
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission
Em curso

Projeto

Designação Financiadores
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
Em curso
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
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2020.
    Publicado • 10.1145/3448891.3448932
Artigo em revista
  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.
    Publicado • 10.1109/tcc.2022.3178982
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022/03/07 - 2022/05/06 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