João Leitão
Assistant Professor
Computer Systems
Country: Portugal
Affiliation: Faculdade de Ciências e Tecnologia, UNL
Email: jc.leitao@fct.unl.pt
Phone: Extension 10765
- Resume
- Projects
- Publications
- Graduations
- Prototypes
- Seminars
João Leitão holds a PhD in Information Systems and Computer Engineering from the Instituto Superior Técnico of the Technical University of Lisbon (2012). Previously he graduated (2006) and obtained a Master (2007) in Computer Engineering from the Faculty of Sciences of the University of Lisbon. He conducts his research in the the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) of the Faculdade de Ciências e Tecnologia da Universidade de Lisboa. He is also an Invited Assistant Professor at the Informatics Department at Faculdade de Ciências e Tecnologia da Universidade de Lisboa. His research interests are focused on the design of fault-tolerant and efficient large-scale systems with particular interest in geo-distributed, cloud computing and peer-to-peer systems. His research is aligned with the strategic project of NOVA LINCS focusing on the design of new large-scale systems. He is a member of the ACM and IEEE. More information in his homepage: https://asc.di.fct.unl.pt/~jleitao
Project Highlights
- Hardware-backed trusted and scalable decentralized systems
- HADES
- 01 Oct 2018 - 30 Sep 2021
- Bernardo Ferreira, João Leitão, Henrique João Domingos, Nuno Preguiça, Albert van der Linde, Manuel Barbosa, Bernardo Portela, Tiago Oliveira
- New Generation of Data Storage and Management Systems
- NG-STORAGE
- 01 Oct 2018 - 30 Sep 2021
- João Leitão, Nuno Preguiça, Carla Ferreira, Sérgio Duarte, João Lourenço, Albert van der Linde, Pedro Fouto, Pedro Ákos Costa, Gonçalo Tomás, Luís Rodrigues
- Secure and Scalable Platform for Massive-scale Mobile Applications
- SAMOA
- 01 Jul 2018 - 30 Jun 2021
- Nuno Preguiça, João Leitão, Sérgio Duarte, João Lourenço, Bernardo Ferreira, Albert van der Linde
- High-Performance Serializable Transactions
- HiPSTr
- 01 Jun 2018 - 31 May 2021
- João Lourenço, João Leitão, Hervé Paulino, Valter Balegas
Publications Highlights
- Visigoth Fault Tolerance
- Apr 2015
- Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, Rodrigo Rodrigues
- Automating the Choice of Consistency Levels in Replicated Systems
- Jan 2014
- Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo Rodrigues, Viktor Vafeiadis
- ChainReaction: a Causal+ Consistent Datastore based on Chain Replication
- Apr 2013
- Sérgio Almeida, João Leitão, Luís Rodrigues, Luis Rodrigues
- Epidemic Broadcast Trees
- Oct 2007
- João Leitão, José Orlando Pereira, Luís Rodrigues, Luis Rodrigues