Some of my previous and current students
Luís Eduardo Teixeira Rodrigues
May 2025
PhD Students
- Current:
- Past:
- [18] Cláudio José Pereira Correia
- (co-advisor: Miguel Pupo Correia)
- Thesis: Low-Latency Privacy-Preserving Access to Edge Storage
- Instituto Superior Técnico (IST)
- June 2024.
- [17] Ray Neiheiser
- (co-advisors: M. Matos e C. Montez)
- Thesis: Scalable and Resilient Byzantine Fault Tolerant Consensus
- Instituto Superior Técnico (IST)
- Universidade Federal de Santa Catarina (UFSC)
- March 2022.
- [16] Diogo Miguel Barrinha Barradas
- (co-advisor: N. Santos)
- Thesis: Unobservable Multimedia-based Covert Channels for Internet Censorship Circumvention
- Instituto Superior Técnico (IST)
- March 2021.
- [15] Richard Gil
Martínez
- (co-advisors: Peter van Roy and Antónia Lopes)
-
Thesis: Automated Planning to Support the Deployment and Management
of Applications in Cloud Environments
- Instituto Superior Técnico
(IST), Universidade de Lisboa and Université catholique de
Louvain.
- March, 2019.
-
- [14] Manuel Bravo
- (co-advisor: Peter van
Roy)
- Thesis: Metadata Management in Causally Consistent Systems.
- Instituto Superior
Técnico (IST), Universidade de Lisboa and Université
catholique de Louvain.
- May, 2018.
-
- [13] Xavier
Araújo Morgado Vilaça
- Thesis:
Sustaining Cooperation in Dependable Systems: a Game Theoretical Approach.
- Instituto Superior Técnico
(IST), Universidade de Lisboa
- December, 2016.
-
- [12] Nuno de Ferraz
Almeida e Peixoto Machado
- Thesis: Cooperative
Concurrency Debugging.
- Instituto
Superior Técnico (IST), Universidade de Lisboa
- June,
2016.
-
- [11] Amin Khan
- (co-advisor:
Felix Freitag)
- Thesis: Managing Incentives in Community Network
Clouds.
- Instituto Superior
Técnico (IST), Universidade de Lisboa and
Universitat
Politècnica de Catalunya.
- June, 2016.
-
- [10] Maria Isabel
Catarino Couceiro
- (co-advisor: Paolo Romano)
-
-
Thesis: Autonomic Replicated Software Transactional Memory.
-
Instituto Superior Técnico (IST), Universidade de Lisboa
-
July, 2015.
-
- [9] João
Gonçalves Paiva
- Thesis: Data Placement in
Distributed Systems.
- Instituto Superior Técnico (IST),
Universidade de Lisboa
- May, 2015.
-
- [8] Oksana
Denysyuk
- Thesis: Fault-Tolerant Renaming in
Synchronous Message-Passing Systems.
- Instituto Superior
Técnico (IST), Universidade de Lisboa
- November, 2014.
-
- [7] Liliana
Rosa
- (co-advisor: Antónia Lopes)
-
-
Thesis: Self-management of Systems Built from Adaptable
Components.
- Instituto Superior Técnico (IST), Universidade
Técnica de Lisboa
- November, 2012.
-
- [6] João Carlos Antunes
Leitão
- Thesis: Topology Management for
Unstructured Overlay Networks.
- Instituto Superior Técnico
(IST), Universidade Técnica de Lisboa
- June, 2012.
-
- [5] Nuno Miguel Rei
Carvalho
- Thesis: A Generic and Distributed
Dependable Software Transactional Memory.
- Instituto Superior
Técnico (IST), Universidade Técnica de Lisboa
-
September, 2011.
-
- [4] Hugo Alexandre Tavares
Miranda
- Thesis: Gossip-based Data Distribution in
Mobile Ad Hoc Networks.
- Faculdade de Ciências da
Universidade de Lisboa
- June 2007.
-
- [3] Filipe João Boavida
de Mendonça Machado Araújo
- Thesis:
Position-Based Distributed Hash Tables.
- Faculdade de
Ciências da Universidade de Lisboa
- February 2006.
-
- [2] João Carlos
Teixeira Rodrigues
- Thesis: Arquitecturas de Suporte
xsao Desenvolvimento de Protocolos de Comunicação de
Tempo-Real,
- Faculdade de Ciências da Universidade de Lisboa
- Outubro 2005.
-
- [1]
José Orlando
Pereira
- (co-advisor: Rui Oliveira)
- Thesis: Semantically Reliable Grup
Communication.
- Universidade do Minho
- July 2002.
-
Master Students
On-going (24/25):
- Inês Cardeira
- Francisco Carvalho
On-going (23/24):
- Gonçalo Carvalho (co-orientação com o Prof. M. Matos)
Past (pós-Bolonha):
Past (transition pré-pós-Bolonha):
- [11] Susana Guedes
- Projecto: Interfaces de suporte à replicação
de bases de dados .
- Faculdade de Ciências da Universidade
de Lisboa
- Outubro de 2006.
- Co-orientação com
Nuno Carvalho.
-
Past (pré-Bolonha):
- [10] Liliana Rosa
-
Thesis: Adaptação Dinâmica de Pilhas de Protocolos
Estimulada por Alterações no Contexto.
- Faculdade de
Ciências da Universidade de Lisboa
- Setembro de 2006.
-
- [9] José Mocito
-
Thesis: Run-Time Switching Between Total Order Algorithms.
-
Faculdade de Ciências da Universidade de Lisboa
- Maio de
2006.
-
- [8] Nuno Carvalho
-
Thesis: INDIQoS: Um Sistema de
Publicação-Subscrição com Qualidade de
Serviço
- Faculdade de Ciências da Universidade de
Lisboa
- Novembro de 2004.
-
- [7] Alexandre Pinto
-
Thesis: Concretização e Avaliação de uma
Plataforma de Suporte à Composição e
Execução de Protocolos
- Faculdade de Ciências
da Universidade de Lisboa
- Setembro de 2004.
-
- [6] João Martins
-
Thesis: A Replica Consistency Algorithm for GlobData.
- Faculdade
de Ciências da Universidade de Lisboa
- Março de
2003.
-
- [5] Mário Guimarães
-
Thesis: Técnicas para aumento da capacidade de escala em
sistemas de publicação e subscrição de
informação.
- Faculdade de Ciências da
Universidade de Lisboa
- Fevereiro de 2002.
-
- [4] João Ventura
-
Thesis: Análise do tempo de resposta da
composição de micro-protocolos.
- Faculdade de
Ciências da Universidade de Lisboa
- July 2001.
-
- [3] Hugo
Miranda
- Thesis: Plataformas de suporte ao
desenvolvimento e composição de malhas de
protocolos.
- Faculdade de Ciências da Universidade de
Lisboa
- May 2001.
-
- [2] Carlos Palma
- Thesis: Suporte para vistas em ambientes de gestão de
redes.
- Faculdade de Ciências da Universidade de Lisboa
-
September 2000.
-
- [1] Jorge Morgado
- Thesis: Comunicação entre Grupos de Processos
Utilizando o Modelo Editor-Assinante.
- Faculdade de Ciências
da Universidade de Lisboa
- February 2000.
Luís Rodrigues