Distributed systems

The distributed systems theme explores challenges emerging from modern concurrent and networked environments, including cloud computing, blockchain technology, multicore systems, and shared memory architectures. Our research focuses on designing resilient, secure and trustworthy distributed solutions that can withstand diverse failure modes and adversarial behaviours, from node crashes to malicious attacks. Key areas of investigation include distributed coordination protocols, with emphasis on consistent data replication, blockchain consensus, transaction management, recoverable computing, and concurrent data structures. We combine formal and empirical methods to develop precise problem specifications and conduct rigorous correctness and complexity analyses.  

Our team collaborates with leading academic institutions - including IMDEA Software Institute, Telecom Sud-Paris, National Autonomous University of Mexico, and UCSB - as well as industry partners such as IBM, NVIDIA, Neo4j, and the Stellar Development Foundation.