معرفی
Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain, where he leads research at the intersection of software verification and distributed computing. He also works part-time as a visiting academic at Amazon Web Services.
His educational background includes a Ph.D. from the University of Cambridge, where he was previously a postdoctoral fellow. His research spans theoretical foundations and practical implementations of distributed systems, with particular emphasis on fault tolerance, consensus algorithms, and consistency models.
His research interests focus on the theoretical and practical aspects of distributed systems, including Byzantine fault tolerance, state machine replication, distributed transactions, and consistency models. His work bridges the gap between formal verification techniques and real-world distributed systems implementations, with numerous publications in top-tier venues like PODC, DISC, and NSDI.
His recent publications show a clear progression from theoretical foundations to practical implementations, with increasing focus on real-world applications, performance considerations, and fault tolerance in large-scale distributed systems. The research demonstrates strong connections between formal methods and practical system design, particularly in the areas of consensus protocols, replication strategies, and transaction processing.
- Best paper award at OPODIS'23
- Best paper award at DISC'18
- Best paper award at CONCUR'12
- EAPLS Best Dissertation Award
- Runner-up prize in the BCS Distinguished Dissertation Competition
- ERC Starting Grant 'RACCOON: A Rigorous Approach to Consistency in Cloud Databases' (2017-2022)
- Ramón y Cajal Fellowship (2017-2022)
Alexey actively mentors PhD students including Alejandro Naser Pastoriza, Fedor Ryabinin, and Antonio José Fernández Pinto, while his alumni have gone on to faculty positions at institutions like University of Paris 7 and University of Colorado Boulder, as well as industry roles at companies like ARM and Informal Systems. He has received significant funding including an ERC Starting Grant and served on program committees for numerous top conferences including POPL, DISC, and PODC. He currently co-organizes the International Symposium on Distributed Computing (DISC) and has been instrumental in organizing workshops focused on consistency in distributed systems.
His research group at IMDEA Software Institute focuses on developing rigorous approaches to consistency in cloud databases and distributed systems, with active projects spanning theoretical analysis, protocol design, and practical implementation of fault-tolerant distributed systems.
