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.
Kevin De Porre currently works as a founding engineer at ElectricSQL and as a part-time postdoctoral researcher at the VUB. He obtained his PhD in Computer Science at the VUB in 2022. His research focuses on programming languages and techniques to help programmers design, implement, and verify highly available distributed systems using replicated data types.
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 and a Visiting Academic at Amazon Web Services. He joined IMDEA after earning his PhD at the University of Cambridge, UK. His research interests are at the intersection of software verification and distributed computing.
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.
Burcu Kulahcioglu Ozkan is an assistant professor and Delft Technology Fellow in the TU Delft Software Engineering Research Group. She received her PhD from Koç University Istanbul, Turkey, followed by postdoctoral research at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. She has worked on software testing and model checking for concurrent systems, including multithreaded programs, event-based programs, and distributed systems. Her current research focuses on testing implementations of distributed systems and blockchains.
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.
Guido Salvaneschi is leading the Programming group at the School of Computer Science, University of St. Gallen, Switzerland. He holds a PhD in Information Technology from Politecnico di Milano, Italy. He has been an Assistant Professor at the Technical University of Darmstadt, Germany. His research has been supported, among others, by the German Research Foundation (DFG) and by the Swiss National Science Foundation (SNSF). He has published papers in a number of programming languages and software engineering venues, including OOPSLA, PLDI, POPL, ECOOP, ICSE, FSE, and ASE.
Tom Van Cutsem is Associate Professor at KU Leuven, Belgium. He leads a research team focused on Blockchain and Distributed Ledgers within the DistriNet research group in the Department of Computer Science. Tom’s expertise is situated at the boundary of distributed systems and programming languages research. Prior to joining KU Leuven Tom led research on software systems at Nokia Bell Labs and contributed to projects focused on AI-assisted software development and real-time data streaming platforms. He also contributed novel metaprogramming features to the JavaScript (ECMAScript) standard, now shipping in all major browsers. Tom holds a PhD from the Vrije Universiteit Brussel.
