معرفی
Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain. He holds a PhD from the University of Cambridge (UK) and works part-time as a visiting academic at Amazon Web Services. His research focuses on the intersection of software verification and distributed computing, addressing challenges in fault tolerance, consistency models, and distributed algorithms.
Education:
- PhD in Computer Science, University of Cambridge, UK
Research Interests: His work spans software verification (e.g., formal methods for concurrent systems), distributed computing (e.g., consensus protocols, state machine replication), and fault-tolerant systems. Key areas include Byzantine fault tolerance, consistency models for distributed databases, and algorithmic optimization for geo-replicated systems.
Grants & Awards:
- ERC Starting Grant 'RACCOON' (2017–2022)
- Ramón y Cajal Fellowship (2017–2022)
- Coordinated the EU FP7-funded ADVENT project (2013–2016)
- Best Paper Awards at OPODIS'23, DISC'18, and PODC'16
Teaching & Outreach: Organized the Summer School on Practice and Theory of Distributed Computing (2020, 2023) and co-chaired conferences like FORTE 2020. Active on program committees for major venues like DISC, PODC, and EuroSys.
Research Group: Current advisees include PhD students Alejandro Naser-Pastoriza and Fedor Ryabinin. Notable alumni include Vitor Enes (PhD 2021) and Artem Khyzha (PhD 2019). The group focuses on theoretical and practical advances in distributed systems, producing tools like the SwiftPaxos consensus protocol and the Atomic Multicast library.
