Carlos Baquero is a Professor in the Department of Informatics Engineering within FEUP, and area coordinator at the High Assurance Laboratory (HASLab) within INESC TEC. From 1994 till mid-2021 he was affiliated with the Informatics Department, Universidade do Minho, where he concluded his PhD (2000) and Habilitation/Agregação (2018). He currently teaches courses in Operating Systems and Large Scale Distributed Systems. Research interests cover data management in eventual consistent settings, distributed data aggregation and causality tracking. He worked in the development of data summary mechanisms such as Scalable Bloom Filters, causality tracking for dynamic settings with Interval Tree Clocks and Dotted Version Vectors and predictable eventual consistency with Conflict-Free Replicated Data Types. Most of this research has been applied in industry, namely in the Riak distributed database, Redis CRDBs, Akka distributed data and Microsoft Azure Cosmos DB.
Annette Bieniusa is leading the Software Technology Group at the University of Kaiserslautern-Landau. Her research area is the semantics and programming abstraction for concurrent and distributed programming, with a focus on replication, synchronization, local-first software, and programming languages. She leads the development of the geo-replicated CRDT database AntidoteDB and is a Scientific Advisor and Architect of the ElectricSQL platform.
Elisa Gonzalez Boix is a professor of Computer Science at the Software Languages Lab (SOFT) of the Vrije Universiteit Brussel (VUB) leading the Distribution and Concurrency (DisCo) research group. Her research focusses on language technology to support the design of both programming languages and tools with a focus on mobile and cloud systems, internet of things and Big Data applications.
Carla Ferreira is a Full Professor at NOVA University Lisbon and a researcher at NOVA LINCS research centre. Her research focuses on developing formal calculi, techniques, and tools to express and reason about concurrent and distributed systems with the ultimate goal of helping programmers build trustworthy and efficient systems. Currently, she leads the TaRDIS project, a Horizon Europe project centered around the correct and efficient development of applications for swarms and decentralized distributed systems.
Alexey Gotsman is a Research Professor at the IMDEA Software Institute in Madrid, Spain. He joined IMDEA in September 2010 after completing a postdoctoral position at the University of Cambridge, where he also earned his PhD. His research interests lie in software verification and distributed computing, focusing on developing reasoning techniques and automated verification tools for real-world concurrent systems software.
Ragnar Mogk is a researcher in the Software Technology Group at TU Darmstadt. His research focuses on declarative programming languages for coordination-free decentralized applications, aiming to simplify the development of reliable, distributed systems. He is involved in the development of Distributed REScala, the first language to support distributed reactive programming, enabling the creation of responsive and fault-tolerant applications in decentralized environments.
José Orlando Pereira is an Associate Professor at the University of Minho and a Research Coordinator at INESC TEC's HASLab. His research focuses on dependable distributed systems, including data management, replication, and distributed protocols. He has contributed to several high-impact projects and frequently participates in leading conferences in the field.
Nuno Preguiça is Full Professor at DI FCT NOVA, and leads the Computer Systems group of the NOVA LINCS research lab. The broad aim of his research is to allow efficient and correct data sharing among geo-distributed users. He has participated in a number of national and EU projects. He co-invented CRDTs and received a Google Research Award for his work on solutions for cloud data management.
