Manuel Bravo

manuelbravogestoso [AT] gmail [DOT] com

I am a researcher at Informal Systems. Informal Systems is a core developer of the Cosmos Network software and protocols, a network of more than 266 interconnected blockchains that manages more than $69B in digital assets. Before joining Informal Systems I was a post-doctoral researcher at the IMDEA Software Institute in Madrid (Spain), where I worked with Alexey Gotsman. I was awarded a Ph.D. in Computer Science in July of 2018 from the Instituto Superior Técnico of the Universidade de Lisboa in Portugal and the Université Catholique de Louvain in Belgium where I worked with Luís Rodrigues and Peter Van Roy respectively.

Research interest

My research interests are in the design and implementation of provably correct distributed systems

Selected publications

Liveness and Latency of Byzantine State-Machine Replication. Manuel Bravo, Gregory Chockler, Alexey Gotsman. DISC 2022.
UniStore: A fault-tolerant marriage of causal and strong consistency. Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei. USENIX ATC 2021.
Making Byzantine Consensus Live. Manuel Bravo, Gregory Chockler, Alexey Gotsman. DISC 2020.
Reconfigurable Atomic Transaction Commit. Manuel Bravo, Alexey Gotsman. PODC 2019.
Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud. Pedro Joaquim, Manuel Bravo, Luís Rodrigues, Miguel Matos. EuroSys 2019.
Distributed transactional reads: the strong, the quick, the fresh & the impossible. Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro. Middleware 2018.
Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database. Ray Neiheiser, Manuel Bravo, Luciana Rech, Luís Rodrigues. SRDS 2018.
Saturn: a Distributed Metadata Service for Causal Consistency. Manuel Bravo, Luís Rodrigues, Peter Van Roy. EuroSys 2017.
Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication. Chathuri Gunawardhana, Manuel Bravo, Luís Rodrigues. USENIX ATC 2017.
Cure: Strong Semantics Meets High Availability and Low Latency. Deepthi Akkoorath, Alejandro Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça, Marc Shapiro. ICDCS 2016.
Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage. Maria Couceiro, Gayana Chandrasekara, Manuel Bravo, Matti A. Hiltunen, Paolo Romano, Luís Rodrigues. Middleware 2015.

Full list at Google Scholar

Projects

RACCOON: A Rigorous Approach to Consistency in Cloud Databases. ERC project. Funded by the European Research Council. Leaded by Alexey Gotsman.
LightKone: Lightweight computations on the edge. H2020 European project. Funded by the European Commission. Leaded by Prof. Peter Van Roy.
Cosmos: Causal consistency on the network edge. Portuguese national project. Funded by the Fundação para a Ciência e Tecnologia of Portugal. Leaded by Prof. Luís Rodrigues.
SyncFree: Large scale computation without synchronisation. FP7 European project. Funded by the European Commission. Leaded by Prof. Marc Shapiro.
Abyss: Autonomous systems tolerant to Byzantine faults. Portuguese national project. Funded by the Fundação para a Ciência e Tecnologia of Portugal. Leaded by Prof. Luís Rodrigues.