???global.info.a_carregar???
Identification

Personal identification

Full name
João Carlos Antunes Leitão

Citation names

  • Leitão, João
  • João Carlos Antunes Leitão

Author identifiers

Ciência ID
8011-50CF-3D43
ORCID iD
0000-0001-7916-980X
Google Scholar ID
j1676F4AAAAJ

Email addresses

  • jc.leitao@fct.unl.pt (Professional)
  • me@joaoleitao.org (Personal)

Addresses

  • Faculdade de Ciencias e Tecnologia, Departamento de Informática. Campus da Caparica, 2829-516, Caparica, Almada, Portugal (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Japanese Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Portuguese (Mother tongue)
Education
Degree Classification
2012
Concluded
 Information Systems and Computer Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Topology Management for Unstructured Overlay Networks " (THESIS/DISSERTATION)
 Aprovado com Distinção (approved with distinction)
2007
Concluded
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Gossip-based Broadcast Protocols" (THESIS/DISSERTATION)
 20 valores, Excelente (20 out of 20, Excellent)
2006
Concluded
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
 16 valores (16 out of 20)
Affiliation

Science

Category
Host institution 		Employer
2014/01/01 - Current Researcher (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013 Contracted Researcher (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/08/01 - 2012/11/30 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2023/02/16 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/10/11 - 2023/02/15 Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/08/01 - 2016/10/10 Invited Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Others

Category
Host institution 		Employer
2013/01/01 - 2016/10/10 Post-Doc Researcher Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2007 - 2012 PhD Student Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2006/08/01 - 2007/07/31 Junior Researcher Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2007 - 2007 Master Student Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2004 - 2006 Software Development Team Member Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal
2002 - 2004 Helpdesk Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal
Projects

Grant

Designation Funders
2025/03/01 - 2026/01/31 Autonomous and Intelligent CRM Systems for Public Administration
2024.07664.IACDC
Principal investigator
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2007/10 - 2010/09 DISSEMINAÇÃO DE INFORMAÇÃO EM SISTEMAS DINÂMICOS DE GRANDE ESCALA
Provided by PTCRIS: SFRH/BD/35913/2007
PhD Student Fellow
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2025/01/15 - 2026/01/15 NOVA.ID-RDM-CC – Centro de Competência em gestão de Dados de Investigação NOVA.ID
NOVA.ID-RDM-CC
Co-Principal Investigator (Co-PI)
Fundação para a Ciência e a Tecnologia
Ongoing
2023/01/01 - 2025/12/31 TaRDIS: Trustworthy And Resilient Decentralised Intelligence For Edge Systems
101093006
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission
Ongoing
2021/03/21 - 2024/03/20 FLORESTA LIMPA: Vigilância automática e participada das zonas de protecção contra incêndios florestais
PCIF/MOG/0161/2019
Researcher
Instituto Português do Mar e da Atmosfera, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2018/10/01 - 2022/09/30 FORGET: Esquecer eficazmente o que tem que ser esquecido
PTDC/CCI-INF/32219/2017
Researcher
Associação para a Inovação e Desenvolvimento da FCT, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2020/10 - 2021/10 Scalling DHTs to the millions
N/A
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Protocol Labs
Concluded
2018/10/01 - 2021/09/30 NG-STORAGE: Nova Geração de Sistema de Armazenamento e Gestão de Dados
PTDC/CCI-INF/32038/2017
Principal investigator
Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2018/07/01 - 2021/06/30 SAMOA: Secure and Scalable Platform for Massive-scale Mobile Applications
PTDC/CCI-INF/32662/2017
Co-Principal Investigator (Co-PI)
Associação para a Inovação e Desenvolvimento da FCT, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2018/06/14 - 2021/06/13 Cosmos: Coerência Causal na Periferia da Rede
PTDC/EEI-COM/29271/2017
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2018/06/01 - 2021/05/31 HiPSTr: Transações Serializáveis de Alta Performance
PTDC/CCI-COM/32456/2017
Co-Principal Investigator (Co-PI)
Associação para a Inovação e Desenvolvimento da FCT, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2017/01 - 2019/12 Lightkone: Lightweight Computation for Networks at the Edge
732505
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 European Commission
Concluded
2014/04 - 2018/04 Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds
Provided by PTCRIS: 135826
Researcher
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2013/07 - 2015/12 PEPITA: PropErty PreservIng Topology Adaptation
Provided by PTCRIS: 128734
PhD Student Fellow
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2010/05 - 2013/10 High-Performance Computing over the Large-Scale Internet
Provided by PTCRIS: 102212
PhD Student Fellow
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2008/01 - 2010/12 Redico: Dynamic Reconfiguration of Communication Protocols
Provided by PTCRIS: 71752
PhD Student Fellow
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2005/07 - 2008/06 P-SON: Probabilistically-Structured Overlay Networks
Provided by PTCRIS: 60941
Master Student Fellow
Universidade do Minho, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
Outputs

Publications

Book chapter
  1. Moniz, Henrique; Leitão, João; Dias, Ricardo J.; Gehrke, Johannes; Preguiça, Nuno; Rodrigues, Rodrigo. "Achieving Low Latency Transactions for Geo-Replicated Storage with Blotter". In Encyclopedia of Big Data Technologies, 1-11. United States: Springer International Publishing, 2022.
    Published • 10.1007/978-3-319-63962-8_158-2
  2. Da Costa, Georges; Lastovetsky, Alexey L.; Barbosa, Jorge G.; Díaz-Martín, Juan C.; García-Zapata, Juan L.; Janetschek, Matthias; Jeannot, Emmanuel; et al. "Programming models and runtimes". In Ultrascale Computing Systems, 9-63. United States: Institution of Engineering and Technology, 2019.
    Published • 10.1049/pbpc024e_ch2
  3. Moniz, Henrique; Leitão, João; Dias, Ricardo J.; Gehrke, Johannes; Preguiça, Nuno; Rodrigues, Rodrigo. "Achieving Low Latency Transactions for Geo-replicated Storage with Blotter". In Encyclopedia of Big Data Technologies, 1-10. Springer International Publishing, 2018.
    Published • 10.1007/978-3-319-63962-8_158-1
  4. Ferreira, Bernardo; Rodrigues, João; Leitão, João; Domingos, Henrique. "Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties". In Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 311-318. United States: Springer International Publishing, 2015.
    Published • 10.1007/978-3-319-17016-9_20
  5. Leitão, J.; Carvalho, N.A.; Pereira, J.; Oliveira, R.; Rodrigues, L.. "On adding structure to unstructured overlay networks". In Handbook of Peer-to-Peer Networking. United States: Springer, 2010.
    Published • 10.1007/978-0-387-09751-0_13
  6. Ferreira, João; Leitão, João; Rodrigues, Luis. "A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications". In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 1-16. Springer Berlin Heidelberg, 2010.
    Published • 10.1007/978-3-642-11482-3_1
  7. Leitão, João; Pereira, José; Rodrigues, LuÍs. "Gossip-Based Broadcast". In Handbook of Peer-to-Peer Networking, 831-860. United States: Springer US, 2009.
    Published • 10.1007/978-0-387-09751-0_29
Conference paper
  1. Policarpo, Nuno; Jose Fragoso Santos; Cunha, Alcino; Leitão, João; Costa, Pedro Ákos. Corresponding author: Policarpo, Nuno. "Specifying Distributed Hash Tables with Allen Temporal Logic". Paper presented in FormaliSE 2025, 2025.
    Accepted
  2. Pedro Fouto; Nuno Preguica; João Leitão. "Large-Scale Causal Data Replication for Stateful Edge Applications". 2024.
    10.1109/ICDCS60910.2024.00028
  3. Costa, Pedro Ákos; Leitão, João; Psaras, Yannis. "Studying the Workload of a Fully Decentralized Web3 System: IPFS". Paper presented in 23th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'23),, 2023.
    Published • 10.1007/978-3-031-35260-7_2
  4. Santos, Nuno M.; Silva, Luís M.; Leitão, João; Preguiça, Nuno. "Data Management for mobile applications dependent on geo-located data". Paper presented in 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'23), 2023.
    Published • 10.1145/3578358.3591334
  5. Francisco Vale; Leitão, João; Costa, Pedro Ákos; Yiannis Psaras. "Atribuição de Nomes Descentralizada: Estudo de Desempenho e Proposta de Otimização do IPNS". Paper presented in 14º Simpósio de Informática (INForum'23 - Portuguese Informatics Conference), 2023.
    Published
  6. Nuno Santos; SILVA, LUÍS M.; Leitão, João; Preguiça, Nuno. "FocusDB: Gestão de dados para aplicações móveis dependentes da localização". Paper presented in 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), Guarda, 2022.
    Published
  7. Pedro Fouto; Pedro Ákos Horváth Filipe da Costa; Nuno Preguica; João Leitão. "Babel: A Framework for Developing Performant and Dependable Distributed Protocols". Paper presented in 41st International Symposium on Reliable Distributed Systems (SRDS'22), Vienna, 2022.
    Published • 10.1109/SRDS55811.2022.00022
  8. João Monteiro; Pedro Ákos Horváth Filipe da Costa; João Leitão; Alfonso De La Rocha; Yiannis Psaras. "Enriching Kademlia by Partitioning". Paper presented in 1st Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS'22), Bologna, 2022.
    Published • 10.1109/ICDCSW56584.2022.00016
  9. João Becho; Frederico Cerveira; João Leitão; Oliveira, R.A. "TESRAC: A Framework for Test Suite Reduction Assessment at Scale". Paper presented in Proceedings of the 15th IEEE International Conference on Software Testing, Verification and Validation (ICST'22), 2022.
    Published • 10.1109/ICST53961.2022.00028
  10. Miguel Belém; Pedro Fouto; Taras Lykhenko; João Leitão; Nuno Preguica; Luis Rodrigues. "Engage: Session Guarantees for the Edge". Paper presented in 31st International Conference on Computer Communication and Networks (ICCCN'22), 2022.
    Published • 10.1109/ICCCN54977.2022.9868846
  11. Pedro Fouto; Nuno Preguica; João Leitão. "High Throughput Replication with Integrated Membership Management". Paper presented in USENIX Annual Technical Conference (USENIX ATC'22), 2022.
    Published
  12. Diogo Almeida; Fouto, Pedro; Costa, Pedro Ákos; Leitão, João. "Emulador de Redes para Validação Empírica de Algoritmos Distribuídos". Paper presented in 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), 2022.
    Published
  13. Diogo Fona; Costa, Pedro Ákos; Leitão, João. "Estudo prãtico de um sistema descentralizado: IPFS". Paper presented in 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), 2022.
    Published
  14. António Duarte; Fouto, Pedro; Leitão, João; Nuno Manuel Ribeiro Preguiça. "Compreender os compromissos entre algoritmos de coerência causal através de simulação". Paper presented in 13º Simpósio de Informática (INForum'22 - Portuguese Informatics Conference), 2022.
    Published
  15. Rosa, André; Costa, Pedro Ákos; Leitão, João. "Generalizing Wireless Ad Hoc Routing for Future Edge Applications". Paper presented in EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'21), 2021.
    Published • 10.1007/978-3-030-94822-1_15
  16. Menino, Vitor Hugo; Costa, Pedro Ákos; Leitão, João. "ResEst: Algoritmo Distribuído para a Inferência de Recursos da Rede". Paper presented in 12º Simpósio de Informática (INForum'21 - Portuguese Informatics Conference), Lisboa, 2021.
    Published
  17. Menino, Vitor Hugo; Costa, Pedro Ákos; Leitão, João. "ResEst - Algoritmo Distribuído para a Inferência de Recursos da Rede". Paper presented in 12º Simpósio de Informática (INForum'21 - Portuguese Informatics Conference), 2021.
    Published
  18. Ema Vieira; Pedro Veiga Fouto; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Difusão Causal Flexível e Escalável para Replicação na Periferia". Paper presented in 12º Simpósio de Informática (INForum'21 - Portuguese Informatics Conference), 2021.
    Published
  19. Pedro Akos Costa; Pedro Fouto; João Leitão. "Overlay Networks for Edge Management". Paper presented in 19th IEEE International Symposium on Network Computing and Applications (NCA'20), 2020.
    Published • 10.1109/NCA51143.2020.9306716
  20. van der Linde, Albert; Fouto, Pedro; Leitão, João; Preguiça, Nuno. "The intrinsic cost of causal consistency". Paper presented in 7th Workshop on Principles and Practice of Consistency for Distributed (PaPoC'20), 2020.
    Published • 10.1145/3380787.3393674
  21. van der Linde, Albert; Serra, Diogo; Leitão, João; Preguiça, Nuno. "On combining fault tolerance and partial replication with causal consistency". Paper presented in 7th Workshop on Principles and Practice of Consistency for Distributed (PaPoC'20), 2020.
    Published • 10.1145/3380787.3393684
  22. Costa, Pedro Ákos; Rosa, André; Leitão, João. "Enabling wireless ad hoc edge systems with Yggdrasil". Paper presented in 35th Annual ACM Symposium on Applied Computing (SAC'20), 2020.
    Published • 10.1145/3341105.3373908
  23. Silva, João A.; Paulino, Hervé; Lourenço, João M.; Leitão, João; Preguiça, Nuno. "Time-aware reactive storage in wireless edge environments". Paper presented in 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'19), 2019.
    Published • 10.1145/3360774.3360828
  24. Carrusca, André; Gomes, Maria Cecília; Leitão, João. "Microservices Management on Cloud/Edge Environments". Paper presented in 4th Workshop on Adaptive Service-Oriented and Cloud Applications (ASOCA'19), 2019.
    Published • 10.1007/978-3-030-45989-5_8
  25. Bernardo Ferreira; Bernardo Portela; Tiago Oliveira; Guilherme Borges; Henrique Domingos; João Leitão. "BISEN: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage". Paper presented in IEEE 38th International Symposium on Reliable Distributed Systems (SRDS'19), 2019.
    Published • 10.1109/SRDS47363.2019.00021
  26. Andre Rosa; Pedro Akos Costa; João Leitão; Rosa, Andre; Costa, Pedro Akos; Leitao, Joao. "Revisiting broadcast algorithms for wireless edge networks". Paper presented in 38th Symposium on Reliable Distributed Systems (SRDS'19), 2019.
    Published • 10.1109/SRDS47363.2019.00033
  27. Vasileios Karagiannis; Stefan Schulte; João Leitão; Nuno Preguiça. "Enabling fog computing using self-organizing compute nodes". Paper presented in IEEE 3rd International Conference on Fog and Edge Computing (ICFEC'19), 2019.
    Published • 10.1109/CFEC.2019.8733150
  28. Vitor Enes; Paulo Sérgio Almeida; Carlos Baquero; João Leitão. "Efficient synchronization of state-based CRDTs". Paper presented in IEEE 35th International Conference on Data Engineering (ICDE'19), 2019.
    Published • 10.1109/ICDE.2019.00022
  29. Ferreira, Bernardo; Leitao, Joao; Domingos, Henrique. "MuSE: Multimodal Searchable Encryption for Cloud Applications". Paper presented in IEEE 37th Symposium on Reliable Distributed Systems (SRDS'18), 2019.
    Published • 10.1109/srds.2018.00029
  30. Costa, Pedro Akos; Leitao, Joao. "Practical Continuous Aggregation in Wireless Edge Environments". Paper presented in IEEE 37th Symposium on Reliable Distributed Systems (SRDS'18), 2019.
    Published • 10.1109/srds.2018.00015
  31. Mealha, David; Preguiça, Nuno; Gomes, Maria Cecilia; Leitão, João. "Data Replication on the Cloud/Edge". Paper presented in 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'19), 2019.
    Published • 10.1145/3301419.3323973
  32. Costa, Pedro Ákos; Leitão, João. "Agregação Contínua e Prática em Ambientes Sem Fios na Berma". Paper presented in 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), Coimbra, 2018.
    Published
  33. Costa, Pedro Ákos; Leitão, João. "Yggdrasil: Uma Framework para Desenvolvimento e Execução de Protocolos em Redes Ad Hoc". Paper presented in 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), Coimbra, 2018.
    Published
  34. Fouto, Pedro; Leitão, João; Preguiça, Nuno. "Consistência Causal em Sistemas Geo-Distribuídos com Replicação Parcial". Paper presented in 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), Coimbra, 2018.
    Published
  35. Borges, Guilherme; Leitão, João; Domingos, Henrique; Ferreira, Bernardo. "Pesquisa Booleana Cifrada usando Hardware Confiável". Paper presented in 10º Simpósio de Informática (INForum - Portuguese Informatics Conference), 2018.
    Published
  36. Porto, Daniel; Leitao, Joao; Junqueira, Flavio; Rodrigues, Rodrigo. "The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report)". Paper presented in 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), 2018.
    Published • 10.1109/dsn.2018.00063
  37. Fouto, Pedro; Leitao, Joao; Preguica, Nuno. "Practical and Fast Causal Consistent Partial Geo-Replication". Paper presented in IEEE 17th International Symposium on Network Computing and Applications (NCA'18), 2018.
    Published • 10.1109/nca.2018.8548067
  38. Henrique Moniz; João Leitão; Ricardo J. Dias; Johannes Gehrke; Nuno Preguiça; Rodrigo Rodrigues. "Blotter: Low Latency Transactions for Geo-Replicated Storage". Paper presented in 26th International Conference on World Wide Web (WWW'17), Perth, 2017.
    Published • 10.1145/3038912.3052603
  39. Albert van der Linde; Pedro Fouto; João Leitão; Nuno Preguiça; Santiago Castiñeira; Annette Bieniusa. "Legion: Enriching Internet Services with Peer-to-Peer Interactions". Paper presented in 26th International Conference on World Wide Web (WWW'17), Perth, 2017.
    Published • 10.1145/3038912.3052673
  40. Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Leitão, João. "Borrowing an Identity for a Distributed Counter". Paper presented in 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'17), 2017.
    Published • 10.1145/3064889.3064894
  41. Freitas, Filipe; Leitao, Joao; Preguica, Nuno; Rodrigues, Rodrigo. "Fine-Grained Consistency Upgrades for Online Services". Paper presented in IEEE 36th Symposium on Reliable Distributed Systems (SRDS'17), 2017.
    Published • 10.1109/srds.2017.9
  42. Tomás, Gonçalo; Zeller, Peter; Balegas, Valter; Akkoorath, Deepthi; Bieniusa, Annette; Leitão, João; Preguiça, Nuno. "FMKe". Paper presented in 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'17), 2017.
    Published • 10.1145/3064889.3064897
  43. Ferreira, Bernardo; Leitao, Joao; Domingos, Henrique. "Multimodal Indexable Encryption for Mobile Cloud-Based Applications". Paper presented in 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), 2017.
    Published • 10.1109/dsn.2017.31
  44. van der Linde, Albert; Leitão, João; Preguiça, Nuno. "¿-CRDTs: making d-CRDTs delta-based". Paper presented in 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC'16), 2016.
    Published • 10.1145/2911151.2911163
  45. Ferreira, B.; Rodrigues, J.; Leitao, J.; Domingos, H.; Ferreira, Bernardo; Rodrigues, Joao; Leitao, Joao; Domingos, Henrique. "Privacy-Preserving Content-Based Image Retrieval in the Cloud". Paper presented in 34th Symposium on Reliable Distributed Systems (SRDS'15), 2016.
    Published • 10.1109/SRDS.2015.27
  46. Freitas, Filipe; Leitao, Joao; Preguica, Nuno; Rodrigues, Rodrigo. "Characterizing the Consistency of Online Services (Practical Experience Report)". Paper presented in 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16), 2016.
    Published • 10.1109/dsn.2016.64
  47. Silva, João A.; Leitão, João; Preguiça, Nuno; Lourenço, João M.; Paulino, Hervé. "Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access". Paper presented in 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC'16), 2016.
    Published • 10.1145/3017116.3022873
  48. André Sampaio; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Aether: Uma solução híbrida para a pesquisa e partilha de conteúdos em redes móveis". Paper presented in 8º Simpósio de Informática (INForum'16 - Portuguese Informatics Conference), 2016.
    Published
  49. Tiago Costa; van der Linde, Albert; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Controlo de Acessos em Sistemas com Consistência Eventual". Paper presented in 8º Simpósio de Informática (INForum'16 - Portuguese Informatics Conference), 2016.
    Published
  50. Li, Cheng; Leitão, João; Clement, Allen; Preguiça, Nuno; Rodrigues, Rodrigo. "Minimizing coordination in replicated systems". Paper presented in First Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'15), 2015.
    Published • 10.1145/2745947.2745955
  51. Porto, Daniel; Leitão, João; Li, Cheng; Clement, Allen; Kate, Aniket; Junqueira, Flavio; Rodrigues, Rodrigo. "Visigoth fault tolerance". Paper presented in Tenth European Conference on Computer Systems (Eurosys'15), 2015.
    Published • 10.1145/2741948.2741979
  52. Bernardo Ferreira; Leitão, João; Domingos, Henrique. "Cifra Multimodal Indexável para Aplicações Móveis baseadas na Núvem". Paper presented in 7º Simpósio de Informática (INForum'15 - Portuguese Informatics Conference), 2015.
    Published
  53. van der Linde, Albert; Leitão, João; Nuno Manuel Ribeiro Preguiça. "Enriquecimento de plataformas web colaborativas com comunicação browser-a-browser". Paper presented in 7º Simpósio de Informática (INForum'15 - Portuguese Informatics Conference), 2015.
    Published
  54. Leitao, Joao Carlos Antunes; Rodrigues, Luis Eduardo Teixeira. "Overnesia: A Resilient Overlay Network for Virtual Super-Peers". Paper presented in 33rd International Symposium on Reliable Distributed Systems (SRDS'14), 2014.
    Published • 10.1109/srds.2014.40
  55. Cheng Li; Leitão, João; Allen Clement; Nuno Preguiça; Rodrigo Rodrigues; Li, C.; Leitão, J.; et al. "Automating the Choice of Consistency Levels in Replicated Systems". Paper presented in 2014 Usenix Annual Technical Conference (Usenix ATC'14), 2014.
    Published
  56. João Rodrigues; Bernardo Ferreira; Leitão, João; Domingos, Henrique. "DocNuvem: Edição Colaborativa de Documentos na Nuvem com Garantias de Privacidade". Paper presented in 6º Simpósio de Informática (INForum'14 - Portuguese Informatics Conference), 2014.
    Published
  57. Almeida, Sérgio; Leitão, João; Rodrigues, Luís. "ChainReaction: a causal+ consistent datastore based on chain replication". Paper presented in 8th ACM European Conference on Computer Systems (Eurosys'13), 2013.
    Published • 10.1145/2465351.2465361
  58. Branco, Miguel; Leitão, João; Rodrigues, Luís. "Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters". Paper presented in 28th Annual ACM Symposium on Applied Computing (SAC'13), 2013.
    Published • 10.1145/2480362.2480476
  59. Paiva, Joao; Leitao, Joao; Rodrigues, Luis. "Rollerchain: A DHT for Efficient Replication". Paper presented in 12th International Symposium on Network Computing and Applications (NCA'13), 2013.
    Published • 10.1109/nca.2013.29
  60. João Costa; Leitão, João; Nuno Manuel Ribeiro Preguiça; Rodrigues, Rodrigo. "Avaliação das Garantias de Consistência em Serviços Geo-Replicados". Paper presented in 5º Simpósio de Informática (INForum'13 - Portuguese Informatics Conference), 2013.
    Published
  61. Silva, Mauro; Leitao, Joao; Ribeiro, Carlos. "MobUser: Publish-subscribe Communication for Mobile Nodes". Paper presented in IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS'12), 2012.
    Published • 10.1109/icpads.2012.29
  62. Almeida, Sérgio; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "ChainReaction: uma Variante de Replicação em Cadeia com Coerência Causal+". Paper presented in 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Published
  63. Branco, Miguel; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "PEC: Protocolo Epidémico para Centros de dados". Paper presented in 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Published
  64. Silva, Mauro; Leitão, João; Ribeiro, Carlos. "MobUser: Uma plataforma para partilha de informação centrada no utilizador para dispositivos móveis (Short paper)". Paper presented in 4º Simpósio de Informática (INForum'12 - Portuguese Informatics Conference), 2012.
    Published
  65. Vilaça, Xavier; Leitão, João; Rodrigues, Luís. "N-party BAR Transfer: Motivation, Definition, and Challenges". Paper presented in 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS'11), 2011.
    Published • 10.1145/2034640.2034647
  66. Vilaça, Xavier; Leitão, João; Correia, Miguel; Rodrigues, Luís. "N-party BAR Transfer". Paper presented in 15th International Conference On Principles Of Distributed Systems (OPODIS'11), Toulouse, 2011.
    Published • 10.1007/978-3-642-25873-2_27
  67. Vilaça, Xavier; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "Transferência de Dados entre Grupos de Processos no Modelo BAR". Paper presented in 3º Simpósio de Informática (INForum'11 - Portuguese Informatics Conference), 2011.
    Published
  68. Ferreira, Mario; Leitao, Joao; Rodrigues, Luis. "Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay". Paper presented in IEEE Symposium on Reliable Distributed Systems (SRDS'10), 2010.
    Published • 10.1109/srds.2010.19
  69. Allani, Mouna; Leitão, João; Garbinato, Benoît; Rodrigues, Luís. "RASM: A Reliable Algorithm for Scalable Multicast". Paper presented in 18th Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP'10), 2010.
    Published • 10.1109/pdp.2010.85
  70. Monica, Diogo; Leitao, Joao; Rodrigues, Luis; Ribeiro, Carlos. "Observable non-Sybil quorums construction in one-hop wireless ad hoc networks". Paper presented in IEEE/IFIP International Conference on Dependable Systems & Networks (DSN'10), 2010.
    Published • 10.1109/dsn.2010.5545006
  71. Alveirinho, João; Paiva, João; Leitão, João; Rodrigues, Luís. "Flexible and efficient resource location in large-scale systems". Paper presented in 4th International Workshop on Large Scale Distributed Systems and Middleware (LaDIS'10), 2010.
    Published • 10.1145/1859184.1859199
  72. João Leitão; Robbert van Renesse; Luís Rodrigues; Leitão, João; Luís Eduardo Teixeira Rodrigues. "Balancing gossip exchanges in networks with firewalls". Paper presented in 9th International conference on Peer-to-peer systems (IPTPS'10), 2010.
    Published
  73. Alveirinho, João; Leitão, João; Paiva, Joao; Rodrigues, Luis Eduardo Teixeira. "Curiata: Uma arquitectura P2P auto-organizável para uma localização flexível e eficiente de recursos". Paper presented in 2º Simpósio de Informática (INForum'10 - Portuguese Informatics Conference), 2010.
    Published
  74. Ferreira, Mario; Leitão, João; Rodrigues, Luis Eduardo Teixeira. "Thicket: Construção e Manutenção de Múltiplas Árvores numa Rede entre Pares". Paper presented in 2º Simpósio de Informática (INForum'10 - Portuguese Informatics Conference), 2010.
    Published
  75. Mónica, Diogo; Leitão, João; Rodrigues, Luis; Ribeiro, Carlos. "On the Use of Radio Resource Tests inWireless ad hoc Networks". Paper presented in 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS'09), Estoril, 2009.
    Published
  76. João Leitão; João Pedro da Silva Ferreira Moura Marques; José Orlando Roque Nascimento Pereira; Luís Eduardo Teixeira Rodrigues. "X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays". Paper presented in 28th IEEE International Symposium on Reliable Distributed Systems (SRDS'09), 2009.
    Published • 10.1109/srds.2009.20
  77. Monica, Diogo; Leitão, João; Rodrigues, Luis Eduardo Teixeira; Ribeiro, Carlos. "Construção Observável de um Sistema de Quorum Não Sybil na Vizinhança Rádio de uma Rede Ad-Hoc Sem Fios". Paper presented in 1º Simpósio de Informática (INForum'09 - Portuguese Informatics Conference), 2009.
    Published
  78. Leitao, Joao; Rosa, Liliana; Rodrigues, Luis. "Large-Scale Peer-to-Peer Autonomic Monitoring". Paper presented in IEEE Globecom Workshops, 2008.
    Published • 10.1109/glocomw.2008.ecp.18
  79. Leitão, J.; Pereira, J.; Rodrigues, L.; Leitao, Joao; Pereira, Jose; Rodrigues, Luis. "HyParView: A membership protocol for reliable gossip-based broadcast". Paper presented in International Conference on Dependable Systems and Networks (DSN'07), 2007.
    Published • 10.1109/DSN.2007.56
  80. Leitao, Joao; Pereira, Jose; Rodrigues, Luis. "Epidemic Broadcast Trees". Paper presented in 26th IEEE International Symposium on Reliable Distributed Systems (SRDS'07), 2007.
    Published • 10.1109/srds.2007.27
Conference poster
  1. Paiva, João; Leitão, João; Rodrigues, Luís. "Rollerchain: a DHT for High Availability (Poster)". Paper presented in Posters and Demos Track at Middleware Conference, 2011.
    10.1145/2088960.2088977
Edited book
  1. James Aspnes; Bessani, Alysson; Pascal Felber; Leitão, João. Leibniz International Proceedings in Informatics (LIPIcs) - Proceedings of 21st International Conference on Principles of Distributed Systems (OPODIS'17). Germany: Schloss-Dagstuhl - Leibniz Zentrum für Informatik. 2018.
    Published • Editor
Journal article
  1. Costa, Pedro Ákos; Leitão, João; Psaras, Yannis. "IPFS requested content location service". Science of Computer Programming 238 (2024): 103174. http://dx.doi.org/10.1016/j.scico.2024.103174.
    Published • 10.1016/j.scico.2024.103174
  2. João A. Silva; Filipe Cerqueira; Herve Paulino; João M. Lourenço; Leitão, João; Nuno Manuel Ribeiro Preguiça. "It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments". Future Generation Computer Systems 2021 118 (2021): 14-36. https://www.sciencedirect.com/science/article/pii/S0167739X20330703?via%3Dihub.
    Open access • Published • https://doi.org/10.1016/j.future.2020.12.008
  3. van der Linde, Albert; Leitão, João; Preguiça, Nuno. "Practical client-side replication: Weak Consistency Semantics for Insecure Settings". Proceedings of the VLDB Endowment 13 12 (2020): 2590-2605. http://dx.doi.org/10.14778/3407790.3407847.
    Published • 10.14778/3407790.3407847
  4. Ferreira, Bernardo; Portela, Bernardo; Oliveira, Tiago; Borges, Guilherme; Domingos, Henrique Joao; Leitao, Joao. "Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware". IEEE Transactions on Dependable and Secure Computing 19 2 (2020): 1307-1319. http://dx.doi.org/10.1109/tdsc.2020.3012100.
    Published • 10.1109/tdsc.2020.3012100
  5. Ferreira, Bernardo; Rodrigues, Joao; Leitao, Joao; Domingos, Henrique. "Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories". IEEE Transactions on Cloud Computing 7 3 (2019): 784-798. http://dx.doi.org/10.1109/tcc.2017.2669999.
    Published • 10.1109/tcc.2017.2669999
  6. Bernardo Ferreira; João Rodrigues; João Leitão; Henrique Domingos. "Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories". IEEE Transactions on Cloud Computing (2017): 1-1. https://novaresearch.unl.pt/en/publications/cc520029-f465-416f-9376-546cce4f0ea4.
    Published • 10.1109/TCC.2017.2669999
  7. Valter Balegas; Cheng Li; Mahsa Najafzadeh; Daniel Porto; Allen Clement; Sérgio Marco Duarte; Carla Ferreira; et al. "Geo-Replication: Fast If Possible, Consistent If Necessary". IEEE Data Engineering Bulletin 39 1 (2016): 81-92. https://novaresearch.unl.pt/en/publications/660ff79a-f306-447e-a3dc-e4aa27fa65a7.
    Published
  8. Ferreira, J.; Leitão, J.; Rodrigues, L.. "A-OSGi: A framework to support the construction of autonomic OSGi-based applications". International Journal of Autonomous and Adaptive Communications Systems 5 3 (2012): 292-310. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863642843&partnerID=MN8TOARS.
    Published • 10.1504/12.47660
  9. Leitão, J.; Marques, J.P.; Pereira, J.; Rodrigues, L.. "X-BOT: A protocol for resilient optimization of unstructured overlay networks". IEEE Transactions on Parallel and Distributed Systems 23 11 (2012): 2175-2188. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867325320&partnerID=MN8TOARS.
    Published • 10.1109/TPDS.2012.29
Preface / Postscript
  1. Leitão, João; Maia, Francisco. "Message from the W-PSDS 2016 workshop co-chairs". Preface to Proceedings of the Workshop on Planetary-Scale Distributed Systems (W-PSDS'16). IEEE. 2016.
    Published • 10.1109/SRDSW.2016.6
  2. Leitão, J.; Vilaca, R.. "The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS'14)". Preface to The Proceedings of the 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS'14). United States: ACM. 2014.
    Published • 10.1109/SRDSW.2014.32
Report
  1. Pedro Fouto; Costa, Pedro Ákos; Nuno Manuel Ribeiro Preguiça; Leitão, João. 2022. Babel: A Framework for Developing Performant and Dependable Distributed Protocols. https://arxiv.org/abs/2205.02106.
    https://doi.org/10.48550/arXiv.2205.02106
  2. Luís Silva; Frederico Aleixo; Albert van der Linde; João Carlos Antunes Leitão; Nuno Manuel Ribeiro Preguiça. 2021. Geo-located Data for Better Dynamic Replication. https://arxiv.org/abs/2205.01045.
    https://doi.org/10.48550/arXiv.2205.01045
  3. Leitão, João; Preguiça, Nuno; Domingos, Henrique; Duarte, Sérgio; Costa, Pedro Ákos; Fouto, Pedro; Borges, Guilherme; Van Roy, Peter; Pueyo Centelles, Roger. 2019. LightKone European Project Deliverable 5.1: Infrastructure Support for Aggregation in Edge Computing. https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5c0a69acd&appId=PPGMS.
  4. Leitão, João; Preguiça, Nuno; Domingos, Henrique; Duarte, Sérgio; Costa, Pedro Ákos; Fouto, Pedro; Borges, Guilherme; et al. 2019. LightKone European Project Deliverable 5.2: Report on Generic Edge Computing.. https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5c0a69d04&appId=PPGMS.
  5. Leitão, J.; Costa, P.Á.; Gomes, M.C.; Preguiça, N.. 2018. Towards enabling novel edge-enabled applications. https://arxiv.org/abs/1805.06989v2.
    10.48550/arxiv.1805.06989
Thesis / Dissertation
  1. Leitão, João. "Topology management for unstructured overlay networks". PhD, Universidade de Lisboa Instituto Superior Técnico, 2012. https://www.gsd.inesc-id.pt/~ler/reports/catjoaoleitao.pdf.
  2. Leitão, João Carlos Antunes. "Gossip-based broadcast protocols". Master, Universidade de Lisboa Faculdade de Ciências, 2007. http://hdl.handle.net/10451/13999.
Working paper
  1. A. Shoker; Paulo S. Almeida; C. Baquero; A. Bieniusa; R. P. Centelles; P. Á. Costa; V. Enes; et al. 2019. "LightKone Reference Architecture (LiRA)". https://asc.di.fct.unl.pt/~jleitao/pdf/LiRA.pdf.

Other

Other output
  1. Studying the workload of a fully decentralized Web3 system: IPFS. 2022. Costa, P.Á.; Leitão, J.; Psaras, Y.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85144755059&partnerID=MN8TOARS.
    10.48550/arXiv.2212.07375
Software
  1. Policarpo, Nuno; José Fragoso Santos; Cunha, Alcino; Leitão, João; Costa, Pedro Ákos. "Specifying Distributed Hash Tables with Allen Temporal Logic (Artifact)". 0.4. Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia. https://zenodo.org/records/14727222. 2025.
    https://doi.org/10.5281/zenodo.14286175
  2. Leitão, João. "Epidemic Global View protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/epidemicglobalview. 2024.
  3. Fouto, Pedro; Costa, Pedro Ákos; Leitão, João; Preguiça, Nuno. "Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/babel-core. 2023.
  4. Leitão, João. "Protocol Commons module for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/babel-protocolcommons. 2023.
  5. Costa, Pedro Ákos; Leitão, João. "HyParView protocol implementation for the Babel Framework". Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/hyparview. 2023.
  6. Costa, Pedro Ákos; Leitão, João. "X-BOT protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/x-bot. 2023.
  7. Leitão, João. "Flood Broadcast protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/floodbroadcast. 2023.
  8. Leitão, João. "Eager (Push-based) Gossip Broadcast protocol for the Babel Framework". 1.0.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codelab.fct.unl.pt/di/research/tardis/wp6/babel/protocols/eagergossipbroadcast. 2023.
  9. Costa, Pedro Ákos; Leitão, João. "Yggdrasil framework". 2. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://github.com/LightKone/Yggdrasil. 2019.
  10. Albert van der Linde; Nuno Manuel Ribeiro Preguiça; Leitão, João. "Legion Framework". 1.0. Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://legion.di.fct.unl.pt. 2016.
  11. COSTA SECO, JOÃO; Toninho, Bernardo; Carmen Morgado; Carla Ferreira; Birra, Fernando; Caires, Luis; Goulão, Miguel; et al. "CodingFest Platform". Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática. https://codingfest.org. 2015.
  12. Leitão, João. "Overnesia cluster-based open source prototype". 1.0. Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. https://asc.di.fct.unl.pt/~jleitao/ClusterBasedOverlay.zip. 2009.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023/06/19 Tutorial: Implementing and Evaluating Distributed Protocols with Babel DisCoTec 2023 - 18th International Federated Conference on Distributed Computing Techniques
IFIP (Lisboa, Portugal)
2022/11/29 Understanding IPFS through Telemetry IPFS CAMP 2022
Protocol Labs (Lisboa, Portugal)
2022/04/22 libp2p DHT: performance, workloads, and possible directions to evolve Paris P2P Festival 2022
Peer-to-Peer Community and Several Companies (Paris, France)
2021 Generalizando o Encaminhamento Ad Hoc Sem-fios para Futuras Aplicações na Berma (Talk in Portuguese) Simpósio de Informática (Portuguese Informatics Conference)
INForum (Lisbon, Portugal)
2020/11/06 Topology management and gossip: the way to scale (https://www.youtube.com/watch?v=jheTqE-aEe0) Research Talks organized by Protocol Labs (via zoom)
Protocol Labs (Online, Portugal)
2017 Blotter: Low Latency Transactions for Geo-Replicated Storage International Conference on World Wide Web (WWW)
WWW Consortium (Perth, Australia)
2014/10/29 Participant in the Think Distributed Panel RICON 2014
Basho Inc. (Las Vegas, United States)
2014/10 Gossiping from Academia to Industry RICON 2014
Basho Inc. (Las Vegas)
2014 Overnesia: a Resilient Overlay Network for Virtual Super-Peers International Symposium on Reliable Distributed Systems (SRDS)
IEEE (Nara, Japan)
2013 ChainReaction a Causal+ Consistent Datastore based on Chain Replication European Conference on Computer Systems (Eurosys)
ACM (Prague, Czech Republic)
2012/11/20 Managing the topology of unstructured overlay networks. GRASCOMP 2012 - Doctoral School Day in Cloud Computing
Universit´e Catholique de Louvain, Louvain-la-Neuve, Belgium (Louvain-la-Neuve, Belgium)
2012 PEC: Protocolo Epidémico para Centros de dados (Talk in Portuguese) Simpósio de Informática (Portuguese Informatics Conference)
INForum (Monte da Caparica, Portugal)
2010 Balancing Gossip Exchanges in Networks with Firewalls International Workshop on Peer-to-Peer Systems (IPTPS)
USENIX (San José, United States)
2009 X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays International Symposium on Reliable Distributed Systems (SRDS)
IEEE (Niagara Falls, United States)
2007 HyParView: a membership protocol for reliable gossip-based broadcast International Conference on Dependable Systems and Networks (DSN)
IEEE/IFIP (Edinburgh, United Kingdom)
2007 Epidemic Broadcast Trees International Symposium on Reliable Distributed Systems (SRDS)
IEEE (Beijing, China)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/03/01 - Current Achieving Autonomic Management of Complex Systems using Machine Learning
Supervisor of João Bordalo
 PhD in Computer Science (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/01 - Current Edge Computing for Vehicular Networks
Co-supervisor of Luís Silva
 Programa Doutoral em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - Current Support General Purpose Computations on Edge Computing Environments & Wireless Environments
Supervisor of Pedro Ákos Costa
 Programa Doutoral em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - Current Partial and Dynamic Replication for Large-Scale Edge Storage Systems
Supervisor of Pedro Fouto
 Programa Doutoral em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2023/12 Generic Decentralized Membership and Communication Abstractions for Edge Systems
Supervisor of Diogo Barreto
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2023/12 Network Abstractions and Emulation for Distributed Systems
Supervisor of Daniel João
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Symphony: A Scalable Emulator for Distributed Systems
Supervisor of André Atalaia
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Better Monitorization and Predictability for Computation Infrastructures Through Data Fusion
Co-supervisor of Pedro Miguel Matos Silva
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Exploiting Node Capacity in DHTs: Node Aware Load Balancing
Supervisor of Tiago Guerreiro
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023 Decomposing Monolitic Computations for Execution on the Edge for Fun and Profit
Supervisor of Diogo Gomes
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 A Multi Level DHT approach through Hierarchical Naming
Supervisor of João Monteiro
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 ECO SYNC TREE: A Causal and Dynamic Broadcast Tree for Edge-based Replication
Supervisor of Ema Vieira
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022 A Novel Approach to Load Balancing in P2P Overlay Networks for Edge Systems
Supervisor of Vitor Hugo Menino
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2022 Cloud-Edge Hybrid Applications
Co-supervisor of Albert van der Linde
 Doutoramento em Engenharia Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021 Automated support tool for forensics investigation on hard disk images
Supervisor of João Veloso
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Clonos: Consistent High-Availability for Distributed Stream Processing through Causal Logging
Co-supervisor of Pedro Silvestre
 Mestrado Integrado emEngenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Measuring Performance in Network-Intensive Web Applications (in cooperation with the Feedzai company)
Supervisor of Rodrigo Graças
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Communication Primitives For Wireless Ad Hoc Networks
Supervisor of André Rosa
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 Dynamic Data Placement in Cloud/Edge Environments
Supervisor of David Romão
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 DeMMon: Decentralized Management and Monitoring Framework
Supervisor of Nuno Morais
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021 LowNimbus: A decentralized autonomic cloud to edge deployment framework
Supervisor of Bruno Anjos
 Mestrado Integrado em engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Distributed Live Programs as Distributed Live Data
Co-supervisor of Álvaro Santos
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Tree-based Decentralized and Robust Causal Dissemination
Supervisor of Paulo Dias
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 A Systems Approach to Minimize Wasted Work in Blockchains
Supervisor of João Pedro Lobato de Carvalho
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Modular and Adaptive Key-Value Storage Systems
Supervisor of Paulo Ricardo Moita
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2020 Sheik: Dynamic Location and Binding of Microservices for Cloud/Edge Settings
Supervisor of Khrystyna Fedyuk
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2019/09/12 Characterizing and Enforcing Consistency of Online Services
Co-supervisor of Filipe Freitas
 Programa Doutoral em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019 Análise de Dados de Atividade de Clientes para Previsão do Nível de Envolvimento (Cooperação com a Empresa Create.IT)
Co-supervisor of Miguel Almeida
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 Rethinking the implementation of Distributed Caching Systems
Supervisor of Miguel Cordeiro
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 Study and optimization of the memory management in Memcached
Co-supervisor of Vasco Coelho
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2019 Monitoring in Hybrid Cloud-Edge Environments
Co-supervisor of André Lameirinhas
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Gestão de micro-serviços na Cloud e Edge
Co-supervisor of André Carrusca
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Practical Aggregation in the Edge
Supervisor of Pedro Ákos Costa
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Localização e tradução automática em plataformas mobile (cooperação com a empresa Unbabel)
Co-supervisor of António Silva
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Towards more Secure and Efficient Password Databases
Co-supervisor of Miguel Madeira
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018 Membership Service for Large-Scale Edge Systems
Supervisor of Francisco Magalhães
 Mestrado Integrado em Engenharia Informática (Master)
2017 - 2018 Understanding and evaluating the Behaviour of DNS resolvers (In cooperation with DNS.pt)
Co-supervisor of Manuel Cruz
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2018 FMKe: A realistic benchmark for key-value stores
Supervisor of Gonçalo Tomás
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2018 A Novel Causally Consistent Replication Protocol with Partial Geo-Replication
Supervisor of Pedro Fouto
 Mestrado Integrado em Engenharia Informática (Master)
2016 - 2018 Distributed, Descentralized and Scalable Coordination Primitives
Supervisor of Filipe Luís
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 Improving Web-Caching Systems with Transparent Client Support
Supervisor of Francisco Fernandes
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017 A Tool for Online Debates
Co-supervisor of José Venâncio
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 LHView: Location Aware Hybrid Partial View
Supervisor of Flávio Fernandes
Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Integration of Browser-to-Browser Architectures with Third Party Legacy Cloud Storage
Supervisor of Pedro Durães
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016 Access Control in Weakly Consistent Systems
Supervisor of Tiago Costa
 Mestrado Integrado em Engenharia Informática (Master)
2015 - 2016 Resource Sharing and Search in Partially Decentralized Mobile Networks
Supervisor of André Sampaio
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2016 WEAQL: Scaling Relational Databases through Weak Consistency
Co-supervisor of David Lopes
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 Enriching Web Applications With Browser-to-Browser Communication
Co-supervisor of Allbert van der Linde
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2015 Scalable, Precise, and High-Coverage Genomics Mapping
Co-supervisor of Natacha P. Leitão
Mestrado em Bioinformática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012 MobUser: A new user-centric publish-subscribe service for mobile devices
Supervisor of Mauro André Mendes Silva
 Mestrado em Engenharia Informática (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2023 - 2023 Program Committee Co-Chair for the INForum national conference (2023 - 2023)
Conference (Co-organisor)
 Inforum, Portugal
2022 - 2022 Co-chair of the First Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS) (2022 - 2022)
Workshop (Co-organisor)
 IEEE, United States

Protocol Labs, United States
2019 - 2019 Co-Chair of the 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) 2019. (2019 - 2019)
Workshop (Co-organisor)
 Association for Computing Machinery, United States
2017 - 2017 Proceedings Co-Editor for the 21st International Conference on Principles of Distributed Systems (OPODIS'17) (2017 - 2017)
Conference (Other)
 Schloss Dagstuhl Internationales Begegnungs- und Forschungszentrum fur Informatik, Germany
2016 - 2016 Co-Chair for the Track "Segurança de Sistemas de Computadores e Comunicações (SSCC) of INFORUM 2016 (2011 - 2011)
Conference (Co-organisor)
 Inforum, Portugal
2016 - 2016 Co-Chair of the Fourth Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2016 - 2016)
Workshop (Co-organisor)
 IEEE, United States
2015/09 - 2015/09 Co-Chair of the Third Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2015 - 2015)
Workshop (Co-organisor)
 IEEE, United States
2015 - 2015 Co-chair for the Track Computação Paralela Distribuída e de Larga Escala (CPDLA) of INFORUM 2015 (2015 - 2015)
Conference (Co-organisor)
 Inforum, Portugal
2014 - 2014 Co-Chair for the Second Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2014/10 - 2014/10)
Workshop (Co-organisor)
 IEEE, United States
2013/09 - 2013/09 Co-Chair of the First Workshop on Planetary-Scale Distributed Systems (W-PSDS) (2013/09/30 - 2013/09/30)
Workshop (Co-organisor)
 IEEE, United States
2011 - 2011 Local Organization Chair for the 2nd ACM Symposium on Cloud Computing (2011 - 2011)
Conference (Member of the Organising Committee)
 Association for Computing Machinery, United States
2011 - 2011 Registration Chair for the 23rd ACM Symposium on Cloud Computing (SOSP) 2011 (2011 - 2011)
Conference (Member of the Organising Committee)
 Association for Computing Machinery, United States
2011 - 2011 Registration Chair for the ACM/IFIP/USENIX 12th International Middleware Conference 2011. (2011 - 2011)
Conference (Member of the Organising Committee)
 Association for Computing Machinery, United States

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2023/10/24 - 2023/10/26 Round table on the effort of European projects on Swarm Computing
Conference
 European Big Data Value Forum
Big Data Value, Belgium

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2024/07/26 Simulation and Performance Evaluation of a Distributed Virtual-Machine Placement and Migration Approach for Management of Cloud Computing Resources Using CloudSim Plus
(Thesis) Arguer
 Manoel Campos da Silva Filho (PhD)
Universidade da Beira Interior, Portugal
2024/02/23 A Geographical-Aware State Deployment Service for Fog Computing
(Thesis) Arguer
 Diogo Moutinho Saraiva Lima (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2023 MulletBench: Multi-layer Edge Time Series Database Benchmark
(Thesis) Main arguer
 Pedro Miguel Leal Meireles Pereira (Master)
Universidade do Minho, Portugal
2023 When probability drops - Probabilistic consensus under faults
(Thesis) Main arguer
 Ana Beatriz Marques Meireles (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2023 Scalable Solutions for Eventual Consistency
(Thesis) Main arguer
 Juliane Marubayashi (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2023 Request Workflow Monitor for Microservice-based Web Applications
(Thesis) Main arguer
 Mafalda Sofia Carvalho Ferreira (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 Dependency checking for Geo-replicated Databases
(Thesis) Main arguer
 Guilherme Manuel Caturra Eugénio e Couto Cândido (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 NDRank: A Distributed Search System for Weather Analogues
(Thesis) Main arguer
 David Diogo Martins (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 Holistic Performance and Scalability Analysis for Large-Scale Distributed Systems
(Thesis) Main arguer
 Francisco Nuno Teixeira Neves (PhD)
Universidade do Minho, Portugal
2021 Runtime Consistency Adaptation
(Thesis) Main arguer
 Vasco António de Aguiar e Morganho (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 Establishing Trust and Confidence Among Entities in Distributed Networks
(Thesis) Arguer
 Francis Nwebonyi (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2019 Execution of Speculative Workflows in Microservice-Based Systems
(Thesis) Main arguer
 João António dos Santos Amado (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 Interactive fault injection in distributed systems
(Thesis) Main arguer
 Miguel Antão Pereira Amaral (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 PRIME : PRobabilistIc MEmbership – Large Scale Membership and Consistency
(Thesis) Main arguer
 Francisco Miguel Polaco Santos (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 Adaptive Information Dissemination in the Bitcoin Network
(Thesis) Main arguer
 João Esteves Marçal (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores
(Thesis) Main arguer
 João Bernaro Sena Amaro (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Invariant Preservation in Geo-Replicated Data Stores
Thesis Member
 Valter Balegas de Sousa (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 Geographical sharding in MongoDB
(Thesis) Main arguer
 Ricardo Filipe Amendoeira (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Dynamic Adaptation of Byzantine Fault Tolerant Protocols
(Thesis) Main arguer
 Carlos Eduardo Alves Carvalho (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Byzantine Fault Tolerant Monitoring of Distributed Systems
(Thesis) Main arguer
 Bernardo Brito da Palma (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Policy-Based Adaptation of Byzantine Fault Tolerant Systems
(Thesis) Main arguer
 Miguel Neves Pasadinhas (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Towards Building Partial Memberships with Network Sampling
(Thesis) Main arguer
 José Pedro de Castro Pereira (Master)
Universidade do Minho, Portugal
2017 Sistema de Armazenamento de Dados de Muito Grande Escala de Adaptação Automática
(Thesis) Main arguer
 João Luís Almeida Rodrigues (Master)
Universidade do Minho, Portugal
2016 Establishing Trust and Confidence Among Entities in Distributed Networks
(Thesis) Main arguer
 Ruma Paul (PhD)
Univeristé Catholique Louvain la Neuve, Belgium
2016 Privacy-Preserving Efficient Searchable Encryption
Thesis Member
 Bernardo Luís da Silva Ferreira (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 Emergence of Trust on P2P Networks
(Thesis) Main arguer
 Artur Jorge Rosendo Ferreira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016 P3-Mobile Parallel Peer-to-Peer computing on mobile devices
(Thesis) Main arguer
 Daniel Filipe Pereira Moreira da Silva (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016 Quanto valem os metadados?
(Thesis) Main arguer
 Bruno Filipe Prudêncio Inácio (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015 Análise de desempenho e otimização do Apache HBase para dados relacionais
(Thesis) Main arguer
 Francisco Nuno Teixeira Neves (Master)
Universidade do Minho, Portugal
2015 Replicação de Bases de Dados Baseadas em Comunicação em Grupo
(Thesis) Main arguer
 João Pedro Lopes Miranda (Master)
Universidade do Minho, Portugal
2015 Towards an Engaging Social TV on a Second Screen
(Thesis) Main arguer
 Vítor Hugo Gonçalves Martins (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 Impacto de Obras Literárias nas Redes Sociais
(Thesis) Main arguer
 Carlos André Freitas Barata (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 Dependable Data Storage With State Machine Replication
(Thesis) Main arguer
 Marcel Henrique dos Santos (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Committee member

Activity description
Role 		Institution / Organization
2023/09 - Current President of the INForum national conference steering committee
President / Vice-president
 Inforum, Portugal
2022/09 - 2023/09 Member of the INForum national conference steering committee
Member
 Inforum, Portugal

Conference scientific committee

Conference name Conference host
2023 - 2023 23rd IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'23) International Federation for Information Processing
2022 - 2022 22th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'22), International Federation for Information Processing
2022 - 2022 First Workshop on Decentralized Internet, Networks, Protocols, and Systems (DINPS) ICDCS
2021 - 2021 21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'21), International Federation for Information Processing
2020 - 2020 20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'20) International Federation for Information Processing
2020 - 2020 The 24th International Conference on Principles of Distributed Systems (OPODIS) França
2019 - 2019 The 4th International conference on Fog and Mobile Edge Computing (FMEC’19) Italy
2019 - 2019 3rd International Conference in Engineering Applications (ICEA’19) Portugal
2018 - 2018 The 22nd International Conference on Principles of Distributed Systems (OPODIS'18) Hong Kong
2018 - 2018 The Third International Conference on Fog and Mobile Edge Computing (FMEC’18) Spain
2017 - 2017 The 36th IEEE Innternational Symposium on Reliabe and Distributed Systems (SRDS'17) Hong Kong
2017 - 2017 The Second International Conference on Fog and Mobile Edge Computing (FMEC'17) Spain
2016 - 2016 The 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC’16) Italy
2014 - 2014 Ninth Workshop on Middleware for Next Generation Internet Computing (MW4NG) France

Consulting

Activity description Institution / Organization
2025/01/01 - Current Research partnership through NOVA FCT and NOVA LINCS. Topology, United States

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2021 - 2021 Evaluation for the Research Grant Proposals for the Portuguese National Innovation Agency (ANI)
Evaluator
 Agência Nacional de Inovação SA, Portugal Agência Nacional de Inovação SA

Other jury / evaluation

Activity description Institution / Organization
2019 - Current PhD Thesis External Advisory Committee of Hector Orrilio Universidade Lusófona de Humanidades e Tecnologias Escola de Comunicação Arquitectura Artes e Tecnologias da Informação, Portugal
2018 - 2024 PhD Thesis External Advisory Committee of Diogo Lima Universidade de Lisboa Faculdade de Ciências, Portugal
2021 - 2021 Reviewer for one Research Grant Proposal for the Université Catholique de Louvain, Belgium Université catholique de Louvain, Belgium
2020 - 2020 PhD Thesis External Advisory Committee of Robin Vassantlal Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2019 PhD Thesis External Advisory Committee of Adriano Serckumecka Universidade de Lisboa Faculdade de Ciências, Portugal
Distinctions

Award

2023 Best Student Paper Award on the CPDLA Track of INForum National Conference: "Atribuição de Nomes Descentralizada: Estudo de Desempenho e Proposta de Otimização do IPNS" by Francisco Vale, João Leitão, Pedro Costa, and Yiannis Psaras
Inforum, Portugal
2019 Best Professor of the Informatics Department (2018/2019) - FCT NOVA
Associação de Estudantes da FCT NOVA, Portugal
2018 Best Student Paper Award at the INForum National Conference for the paper "Consistência Causal em Sistemas Geo-Distribuídos com Replicação Parcial" by Pedro Fouto, João Leitão, and Nuno Preguiça.
Décimo Simpósio em Informática, Portugal
2017 Best Professor of the Informatics Department (2016/2017) - FCT NOVA
Associação de Estudantes da FCT NOVA, Portugal
2013 Best Student Paper Award at the IEEE NCA'13 International Conference for the paper "Rollerchain: a DHT for Efficient Replication" by João Paiva, J. Leitão and L. Rodrigues
IEEE, United States
2011 Best Paper Award at the INForum National Conference for the paper "Transferência de Dados entre Grupos de Processos no Modelo BAR" by Xavier Vilaça, João Leitão and Luís Rodrigues
Inforum, Portugal

Other distinction

2017 $5000 grant in Microsoft Azure for research.