Identificação
Identificação pessoal
- Nome completo
- Luis Eduardo Teixeira Rodrigues
- Género
- Masculino
Nomes de citação
- Rodrigues, Luis
Identificadores de autor
- Ciência ID
- F91A-69E1-0ABE
- ORCID iD
- 0000-0002-0313-6590
- Google Scholar ID
- KgpFwl4AAAAJ
- Researcher Id
- C-5539-2008
- Scopus Author Id
- 7202076155
Telefones
- Telefone
-
- 213100346 (Profissional)
Moradas
- Rua Alves Redol 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)
Websites
- http://www.gsd.inesc-id.pt/~ler/ (Académico)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
Formação
Grau | Classificação | |
---|---|---|
2003/03/21
Concluído
|
Informática (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
|
1991/09/01 - 1996/02/29
Concluído
|
Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Suporte à computação orientada aos grupos em sistemas distribuídos tolerantes a faltas" (TESE/DISSERTAÇÃO)
|
|
1987/09/01 - 1991/07/31
Concluído
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Mecanismos de comunicação eficientes para sistemas de tempo-real e tolerantes a faltas" (TESE/DISSERTAÇÃO)
|
|
1981/09/01 - 1986/07/31
Concluído
|
Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Percurso profissional
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2007/07/01 - Atual | Professor Catedrático (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal | ||
2001/07/01 - 2007/07/01 | Professor Associado (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal |
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal | ||
1996/10/01 - 2001/07/01 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Faculdade de Ciências, Portugal |
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal | ||
1996/04/01 - 1996/06/30 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Instituto de Engenharia de Sistemas e Computadores, Portugal | ||
1991/05/01 - 1996/04/30 | Assistente (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Instituto de Engenharia de Sistemas e Computadores, Portugal | ||
1989/09/01 - 1991/04/30 | Assistente Estagiário (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Cargos e Funções
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2022/01/01 - 2024/12/31 | Presidente do Conselho Científico | Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2015 - 2020 | Conselho científico/técnico-científico ou orgão correspondente | Universidade de Lisboa Instituto Superior Técnico, Portugal |
2010 - 2017 | Dirigente de laboratório, instituto, museu, centro ou observatório | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal | ||
2009 - 2011 | Presidente de Departamento | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Universidade de Lisboa Instituto Superior Técnico, Portugal | ||
2005 - 2007 | Presidente de departamento | Universidade de Lisboa Faculdade de Ciências, Portugal |
Universidade de Lisboa Faculdade de Ciências, Portugal | ||
2004 - 2005 | Dirigente de laboratório, instituto, museu, centro ou observatório | Universidade de Lisboa Faculdade de Ciências, Portugal |
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2022/01/15 - 2025/01/14 | DACOMICO: Data Consistency in Microservices Compositions
PTDC/CCI-COM/2156/2021
Investigador responsável
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
|
2018/01/10 - 2021/09/30 | NGSTORAGE: Nova Geração de Sistema de Armazenamento e Gestão de Dados
PTDC/CCI-INF/32038/2017
Investigador
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
|
2018/06/14 - 2021/06/13 | Cosmos: Coerência Causal na Periferia da Rede
PTDC/EEI-COM/29271/2017
Investigador responsável
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
|
2018/06/01 - 2021/05/31 | Angainor: Avaliação e injeção de faltas reproduzível em sistemas de larga escala
PTDC/CCI-COM/31456/2017
Investigador
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
|
2016/07/01 - 2019/12/31 | Saturn - Armazenamento e Processamento de Quantidades Massivas de Dados Espaço-Temporais na Nuvem
PTDC/EEI-SCR/1743/2014
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
|
2016/07/01 - 2019/12/31 | Abyss: Sistemas Autonómicos Tolerantes a Falhas Maliciosas
PTDC/EEI-SCR/1741/2014
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2016/01 - 2019/12 | Abyss: Autonomic Byzantine Fault-Tolerant Systems
Investigador responsável
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
|
2015 - 2019 | SafeCloud: Secure and Resilient Cloud Architecture
653884
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
European Union |
2015/01 - 2017/12 | Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
Investigador responsável
|
Fundação para a Ciência e a Tecnologia |
2013 - 2016 | PCAS : Personalised Centralized Authentication System
FP7-ICT-2013-10
Investigador responsável
|
European Union |
2013/07 - 2015/12 | PEPITA: PropErty PreservIng Topology Adaptation
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
|
2014/02 - 2015/01 | GreenTM: Green Transactional Memory
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
|
2010 - 2015 | Euro-TM: Transactional Memories: Foundations, Algorithms, Tools, and Applications.
ICT COST Action IC1001
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
European Union
Concluído
|
2010/11/01 - 2014/04/30 | Assuring Dependability in Architecture-based Adaptive Systems
CMU-PT/ELE/0030/2009
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Universidade de Coimbra, Portugal Universidade de Coimbra Centro de Informatica e Sistemas, Portugal 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
|
2010/11 - 2014/04 | ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
|
2010/05 - 2013/10 | HPCLSI: High-Performance Computing over the Large-Scale Internet
Investigador
|
Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
|
2010 - 2013 | Cloud-TM. A novel programming paradigm for the Cloud.
257784
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
European Union |
2011/01/01 - 2012/12/31 | Strategic Project - LA 21 - 2011-2012
PEst-OE/EEI/LA0021/2011
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
|
2010/01 - 2012/12 | ARISTOS: Autonomic ReplicatIon of Software TransactiOnal memorieS
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
|
2010 - 2012 | FastFIX: Monitoring Control for Remote Software Maintenance
258109
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
European Union
Concluído
|
2008/01 - 2011/03 | PASTRAMY: Persistent and highly Availabe Software TRansactional MemorY
Investigador
|
Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
|
2008/01 - 2010/12 | Redico: Dynamic Reconfiguration of Communication Protocols
Investigador responsável
|
Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia, I.P. Concluído
|
2005 - 2009 | DYNAMO: Dynamic Communication Networks.
COST Action 295
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
European Union
Concluído
|
2003 - 2009 | MiNEMA: Middleware for Network Eccentric and Mobile Applications
MiNEMA ESF Scientific Programme
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
European Science Foundation
Concluído
|
2005/07 - 2008/06 | P-SON: Probabilistically-Structured Overlay Networks
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
|
2005/05 - 2008/06 | MICAS, MIddleware for Context-aware and Adaptive Systems
Investigador responsável
|
Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia |
2008 - 2008 | P-SON: Redes Sobrepostas com Estrutura Probabilista
POSC/EIA/60941/2004
Universidade do Minho, Portugal
Universidade do Minho Centro ALGORITMI, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2004 - 2007 | GORDA: Open Replication of Databases.
STREP 004758
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
European Union
Concluído
|
2002 - 2004 | INDIQoS: Qualidade de Serviço (QoS) em sistemas de comunicação indirecta.
POSI/ CHS/ 41473/ 2001
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2002 - 2004 | RUMOR: Probabilistic semantically reliable protocols.
POSI/ CHS/ 40088/ 2001
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2002 - 2004 | StrongRep: Strongly Consistent Replicated Databases for Gepgraphycally Large-Scale Systems.
POSI/ CHS/ 41285/ 2001
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2001 - 2003 | SHIFT: Group Communication with Differentiated Messages.
POSI/ CHS/ 32869/2000
Investigador responsável
|
Fundação para a Ciência e a Tecnologia |
2001 - 2003 | Moosco: Multi-User Object-Oriented environments with Se- paration of Concerns
Sapiens 33127/99
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2000 - 2002 | GLOBDATA: An Efficient Software Tool for Global Data Access.
IST-1999-20997
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
European Union
Concluído
|
1999 - 2001 | Topcom: Comunicação em Grupo Fiável e Orientada à Topologia em Sistemas de Grande Escala Geográfica
Praxis/ P/ EEI/ 12202/ 1998
Investigador responsável
|
Fundação para a Ciência e a Tecnologia
Concluído
|
1999 - 2001 | Dear-COTS: Arquitecturas Embebidas e Distribuídas usando Componentes de Uso Genérico
Praxis/P/EEI/14187/1998
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
1999 - 2001 | Micra: A model for the Development of Mission Critical Applications
Praxis/ P/ EEI/ 12160/ 1998
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
|
Fundação para a Ciência e a Tecnologia |
1996 - 1999 | Broadcast-WG
ESPRIT Basic Research Working Group 22455
Investigador
Instituto de Engenharia de Sistemas e Computadores, Portugal
|
European Union |
1993 - 1995 | GODC: Group-Oriented Distributed Computing
ESPRIT/BRA Working Group 26
Investigador
Instituto de Engenharia de Sistemas e Computadores, Portugal
|
European Union
Concluído
|
1992 - 1995 | Broadcast: Basic Research on Advanced Distributed Computing: from Algorithms to Systems.
ESPRIT Basic Research Project 6360
Investigador
Instituto de Engenharia de Sistemas e Computadores, Portugal
|
European Union
Concluído
|
1986 - 1991 | Delta-4: Definition and Design of an Open Dependable Distributed Architecture
ESPRIT 818/2252
Investigador
Instituto de Engenharia de Sistemas e Computadores, Portugal
|
European Union
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Capítulo de livro |
|
Edição de livro |
|
Livro |
|
Prefácio / Posfácio |
|
Outros
Outra produção |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2022/10/01 - 2023/11/01 | Transactional Causal Consistency For Microservices Architectures
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2022/10/01 - 2023/11/01 | Automatic Detection of Anomalies in the Migration to Microservices Architectures
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2022/10/01 - 2023/11/01 | Self-Adapting BFT Consensus: Leveraging Heterogeneity in Dissemination/Aggregation Trees
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2021/10/01 - 2022/11/01 | Federated Learning for Predicting the Next Node in Action Flows
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2021/09/01 - 2022/11/01 | Window Based Monitoring: Packet Drop Detection in the Network Data Plane
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020/10/01 - 2022/06/01 | Microservice Decomposition for Transactional Causal Consistent Platforms
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020/01/01 - 2022/03/01 | Scalable and Resilient Byzantine Fault Tolerant Consensus
Coorientador
|
Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020/10/01 - 2021/11/01 | Proof of Timely-Retrievability for Storage Systems at the Edge
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020/10/01 - 2021/11/01 | An Architecture to Offer Transactional Strong Consistency for FaaS Applications
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2020/10/01 - 2021/11/01 | Deduplication vs Privacy Tradeoffs in Cloud Storage
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/10 - 2021/03 | Unobservable Multimedia-based Covert Channels for Internet Censorship Circumvention
Coorientador
|
Doutoramento em Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019/09/01 - 2021/01/14 | Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019/09/01 - 2021/01/14 | Dynamic Reconfiguration of the Data Aggregation Topology at the Edge
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019/09/01 - 2020/11/01 | Causality Tracking Trade-offs for Distributed Storage
Coorientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019/09/01 - 2020/11/01 | ENGAGE: Session Guaranties for the Edge
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019/09/01 - 2020/11/01 | LoCaPS: Localized Causal Publish-Subscribe
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09 - 2019/11 | Efficient Implementation of Causal Consistent Transactions in the Cloud
Orientador de Taras Lykhenko
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09 - 2019/11 | Localized Reliable Causal Multicast
Orientador de Válter Emanuel Trecitano da Costa Santos
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09 - 2019/11 | Identification of Skype Covert Channels using Sketches in SDNs
Coorientador de André Filipe Antunes Madeira
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09 - 2019/11 | Omega: a Secure Event Ordering Service for the Edge
Coorientador de Cláudio José Pereira Correia
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/01/01 - 2019/03/01 | Automated Planning to Support the Deployment and Management of Applications in Cloud Environments
Coorientador de Richard Joaquín Gil Martínez
|
Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/09 - 2018/11 | A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores
Orientador de João Bernardo Sena Amaro
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/09 - 2018/11 | Adaptive Information Dissemination in the Bitcoin Network
Coorientador de João Esteves Marçal
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/09 - 2018/11 | Mechanisms for Providing Causal Consistency on Edge Computing
Orientador de Nuno Cerqueira Afonso
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/01/01 - 2018/05/01 | Metadata Management in Causally Consistent Systems
Coorientador de Angel Manuel Bravo Gestoso
|
Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/09 - 2017/11 | Dynamic Adaptation of Byzantine Fault Tolerant Protocols
Orientador de Carlos Eduardo Alves Carvalho
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/09 - 2017/11 | Byzantine Fault Tolerant Monitoring of Distributed Systems
Orientador de Bernardo Brito da Palma
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/09 - 2017/11 | Policy-Based Adaptation of Byzantine Fault Tolerant Systems
Orientador de Miguel Neves Pasadinhas
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/09 - 2017/11 | Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures
Orientador de Pedro Miguel Marcos Joaquim
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/11 | Learning Adaptation Models Under Non-Determinism
Orientador de Francisco Miguel Caramelo Duarte
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/11 | Fault Isolation in Software Defined Networks
Orientador de João Sales Henriques Miranda
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/09 | ByTAM: a Byzantine Fault Tolerant Adaptation Manager
Orientador de Frederico Miguel Reis Sabino
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/07 | Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication
Orientador de Chathuri Lanchana Rubasinghe Gunawardhana
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013/01/01 - 2016/06/01 | Managing Incentives in Community Network Clouds
Coorientador de Muhammad Amin Khan
|
Doutoramento em Engenharia Informática e Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013/01/01 - 2016/06/01 | Cooperative Concurrency Debugging
Orientador de Nuno de Ferraz Almeida e Peixoto Machado
|
Doutoramento em Engenaria Informática e Computadores (Doutoramento) |
2013/01/01 - 2016/06/01 | Sustaining Cooperation in Dependable Systems: a Game Theorectical Approach
Orientador de Xavier Araújo Morgado Vilaça
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014/09 - 2015/10 | Efficient Free-rider Detection using Symmetric Overlays
Orientador de João Bruno Rodrigues Roque e Silva
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014/09 - 2015/10 | Dynamic Adaptation of Geo-Replicated CRDTs
Orientador de Carlos Guilherme Crisóstomo Bartolomeu
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012/01/01 - 2015/07/01 | Autonomic Replicated Software Transactional Memory
Orientador de Maria Isabel Catarino Couceiro
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014/09 - 2015/07 | Relaxed Logging for Replay of Multithreaded Applications
Orientador de Aliaksandra Sankova
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014/09 - 2015/07 | Adaptive Quorums for Cloud Storage Systems
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012/01/01 - 2015/05/01 | Data Placement in Distributed Systems
Orientador de João Gonçalves Paiva
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011/01/01 - 2014/11/01 | Fault-Tolerant Renaming in Synchronous Message-Passing Systems
Orientador de Oksana Denysyuk
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013/09 - 2014/10 | Efficient Support for Selective MapReduce Queries
Orientador de Manuel da Silva Santos Gomes Ferreira
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012/09 - 2013/07 | Fault Reproduction for Multithreaded Applications
Orientador de Angel Manuel Bravo Gestoso
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012/09 - 2013/07 | Data locality aware partitioning schemes for large-scale data stores
Orientador de Muhammet Orazow
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/01/01 - 2012/12/01 | Self-management of Systems Built from Adaptable Components
Coorientador de Liliana Wu Freitas Rosa
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011/09 - 2012/10 | Geo-Replication in Large Scale Cloud Computing Applications
Orientador de Sérgio Filipe Garrau dos Santos Almeida
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011/09 - 2012/10 | Topology-aware Gossip Dissemination for Large-scale Datacenters
Orientador
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/01/01 - 2012/09/01 | Topology Management for Unstructured Overlay Networks
Orientador de João Carlos Antunes Leitão
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2010/09 - 2011/10 | Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
Orientador de Nuno de Ferraz Almeida e Peixoto Machado
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2010/09 - 2011/10 | Replicação Parcial para Sistemas de Memória Transaccional por Software
Orientador de Pedro Miguel Pereira Ruivo
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2010/09 - 2011/10 | N-Party BAR Transfer
Orientador de Xavier Araújo Morgado Vilaça
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2010/09 - 2011/10 | Speculative Execution on Replicated and Distributed Software Transactional Memory Systems
Orientador de João Carlos Moreira Fernandes
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/01/01 - 2011/09/01 | A Generic and Distributed Dependable Software Transactional Memory
Orientador de Nuno Miguel Rei Carvalho
|
Doutoramento em Engenharia Informática e Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/09 - 2010/10 | Resource Location in P2P Systems
Orientador de João Pedro Fernandes Alveirinho
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/09 - 2010/10 | WMM: Wireless Mesh Monitoring
Orientador de Ricardo Manuel Gândara Pinto
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/09 - 2010/10 | Multipath Routing for Wireless Mesh Networks
Orientador de Cristina Neves Fonseca
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/09 - 2010/10 | Adaptive Group Communication
Orientador de Tiago José Pinto Taveira
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009/09 - 2010/10 | Live Streaming in Overlay Networks
Orientador de Mário Rui Vazão Vasco Ferreira
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/11 - 2009/10 | A-OSGi: A framework to support the construction of autonomic OSGi-based applications
Orientador de João Tiago de Jesus Elias Ferreira
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/11 - 2009/10 | Heterogeneity-Aware Multicast for MANETs
Orientador de Oksana Denysyuk
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/11 - 2009/10 | FT-OSGi: Fault-Tolerance extensions for the OSGi Service Platform
Orientador de Carlos Filipe Lopes Torrão
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/10 - 2009/09 | Cache Coherence in Distributed and Replicated Transactional Memory Systems
Orientador de Maria Isabel Catarino Couceiro
|
Mestrado em Engenharia Informática e de Computadres (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/08 - 2009/07 | Thwarting The Sybil Attack in Wireless Ad Hoc Networks
Coorientador de Diogo Miguel da Costa e Castro Mónica de Oliveira
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2006/10 - 2007/09 | Sistema probabilista de edição-susbcrição para redes móveis ad hoc
Orientador de José Pedro Santos Manso Côrte-Real
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2006/05 - 2007/05 | Gossip-Based Broadcast Protocols
Orientador de João Carlos Antunes Leitão
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2005 - 2006 | Run-Time Switching Between Total Order Algorithms
Orientador de José Carlos Vitório Mocito
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2005 - 2006 | Adaptação Dinâmica de Pilhas de Protocolos Estimulada por Alterações no Contexto
Orientador de Liliana Wu Freitas Rosa
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2002/01/01 - 2005/06/01 | Gossip-based Data Distribution in Mobile Ad Hoc Networks
Orientador de Hugo Alexandre Tavares Miranda
|
Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2002/01/01 - 2005/05/01 | Position-Based Distributed Hash Tables
Orientador de Filipe João Boavida de Mendonça Machado Araújo
|
Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2001/01/01 - 2005/05/01 | Arquitecturas de Suporte ao Desenvolvimento de Protocolos de Comunicação de Tempo-Real
Orientador de João Carlos Teixeira Rodrigues
|
Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2003 - 2004 | Concretização e Avaliação de uma Plataforma de Suporte à Composição e Execução de Protocolos
Orientador de Alexandre Jorge Matos Pinto
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2003 - 2004 | INDIQoS: Um Sistema de Publicação-Subscrição com Qualidade de Serviço
Orientador de Nuno Miguel Rei Carvalho
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2002 - 2003 | A Replica Consistency Algorithm for GlobData
Orientador de João Travassos Cabral Martins
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
1999/01/01 - 2002/07/01 | Semantically Reliable Group Communication
Coorientador de José Orlando Roque Nascimento Pereira
|
Doutoramento em Informática (Doutoramento)
Universidade do Minho, Portugal
|
2001 - 2002 | Técnicas para aumento da capacidade de escala em sistemas de publicação e subscrição de informação
Orientador de Mário Luís de Jesus Rodrigues Guimarães
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2000 - 2001/07 | Análise do tempo de resposta da composição de micro-protocolos
Orientador de João Carlos Negrão Ventura
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
2000 - 2001/05 | Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos
Orientador de Hugo Alexandre Tavares Miranda
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
1999 - 2000/09 | Suporte para vistas em ambientes de gestão de redes
Orientador de Carlos David Soares da Palma
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
1999 - 2000/06 | Comunicação entre Grupos de Processos Utilizando o Modelo Editor-Assinante
Orientador de Jorge Alexandre Cabrita Morgado
|
Mestrado em Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2020/10 - 2020/10 | The 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) Austin (TX), USA Oct,
2020 (Track Chair). (2020/10 - 2020/10)
Congresso (Membro da Comissão Científica)
|
|
2018/12 - 2018/12 | The 22nd International Conference on Principles of Distributed Systems (OPODIS), Hong Kong, China, December 2018, (PC Co-Chair). (2018/12 - 2018/12)
Conferência (Membro da Comissão Científica)
|
|
2014/09 - 2014/09 | The 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (SSS), Paderborn, Germany,
September 2014. (Track Chair) (2014/09 - 2014/09)
Congresso (Membro da Comissão Científica)
|
|
2012/07 - 2012/07 | The 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Funchal, Madeira, Portugal, Julho
de 2012. (2012/07 - 2012/07)
Congresso (Coorganizador)
|
Association for Computing Machinery (ACM), Estados Unidos Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2011/10 - 2011/10 | The 2nd ACM Symposium on Cloud Computing (SOCC), Cascais, Portugal, Outubro de 2011. (2011/10 - 2011/10)
Congresso (Presidente da Comissão Organizadora)
|
Association for Computing Machinery, Estados Unidos Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2011/10 - 2011/10 | The 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, Outubro de 2011. (2011/10 - 2011/10)
Congresso (Coorganizador)
|
Association for Computing Machinery, Estados Unidos Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2011/10 - 2011/10 | The 5th Workshop on Self-Stabilizing Systems (SSS), Lisboa, Portugal, Outubro de 2001. (2011/10 - 2011/10)
Congresso (Coorganizador)
|
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2011/09 - 2011/09 | The 5th Workshop on Large Scale Distributed Systems and Middleware (LADIS), held in conjunction with VLDB in Seattle, Washington,
September 2011. (Program Co-chair) (2011/09 - 2011/09)
Congresso (Membro da Comissão Científica)
|
|
2008/09 - 2008/09 | The 2nd International Conference on Autonomic Computing and Communication Systems, Turin, Italy, September 2008. (Program
Co-chair). (2008/09 - 2008/09)
Congresso (Membro da Comissão Científica)
|
|
2007/08 - 2007/08 | Euro-Par 2007. Topic 8: Distributed Systems and Algorithms.Rennes, France. August, 2007. (Topic Chair). (2007/08 - 2007/08)
Congresso (Membro da Comissão Científica)
|
|
2006/07 - 2006/07 | The 26th International Conference on Distributed Computing Systems, Lisboa, Portugal, Julho 2006 (Program Co-Chair). (2006/07 - 2006/07)
Congresso (Membro da Comissão Científica)
|
IEEE, Estados Unidos |
2006/06 - 2006/06 | The The 26th International Conference on Distributed Computing Systems (ICDCS), FCUL, Lisboa, Portugal, Julho 2006. (2006/06 - 2006/06)
Congresso (Membro da Comissão Organizadora)
|
IEEE, Estados Unidos Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
2005/08 - 2005/09 | Euro-Par 2005. Topic 8: Distributed Systems and Algorithms. 30 Agosto - 2 Setembro, 2005, Lisboa, Portugal. (Topic Chair). (2005/08 - 2005/09)
Congresso (Membro da Comissão Científica)
|
|
2005/06 - 2005/06 | The 25th International Conference on Distributed Computing Systems (ICDCS), Columbus, Ohio, USA, June 2005. (Track Chair) (2005/06 - 2005/06)
Congresso (Membro da Comissão Científica)
|
IEEE, Estados Unidos |
2002/07 - 2002/07 | The 22nd IEEE International Conference on Distributed Computing Systems (ICDCS). Vienna, Austria, Julho de 2002. (Vice Program
Chair) (2002/07 - 2002/07)
Congresso (Membro da Comissão Científica)
|
IEEE, Estados Unidos |
2001/10 - 2001/10 | The 15th International Symposium on DIStributed Computing (DISC), Lisboa, Portugal, Outubro de 2001. (2001/10 - 2001/10)
Congresso (Coorganizador)
|
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal |
1993/09 - 1993/09 | The Fourth IEEE Workshop on Future Trends of Distributed Computing Systems, Lisboa, Portugal, Setembro 1993. (1993/09 - 1993/09)
Congresso (Membro da Comissão Organizadora)
|
Instituto de Engenharia de Sistemas e Computadores, Portugal IEEE, Estados Unidos |