Alexey Gotsman Research Professor IMDEA Software Institute Campus Montegancedo s/n 28223-Pozuelo de Alarcón, Madrid, Spain Tel.: +34-91-101-2202 ext 4136 @ Email: Alexey.Gotsman imdea.org

I am a tenured Research Professor at the IMDEA Software Institute. Before joining IMDEA I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. My research interests are at the intersection of software verification and distributed computing.

Recent publications

• Alejandro Naser Pastoriza, Gregory Chockler, and Alexey Gotsman
  Fault-tolerant computing with unreliable channels
  Arxiv preprint [PDF]
  

• Fedor Ryabinin, Alexey Gotsman, and Pierre Sutra
  SwiftPaxos: Fast geo-replicated state machines
  NSDI'24: Symposium on Networked Systems Design and Implementation.
  To appear.

• Manuel Bravo, Gregory Chockler, and Alexey Gotsman
  Liveness and latency of Byzantine state-machine replication [PDF]
  DISC'22: International Symposium on Distributed Computing.
  Extended version available as arXiv:2202.06679 [PDF]

• Manuel Bravo, Gregory Chockler, and Alexey Gotsman
  Making Byzantine consensus live [PDF]
  Distributed Computing, 35(6). Springer, 2022.
  Journal version of our DISC'20 paper.

• Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory Chockler and Alexey Gotsman
  Acuerdo: Fast atomic broadcast over RDMA [PDF]
  ICPP'22: International Conference on Parallel Processing. ACM, 2022.

• Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei
  UniStore: A fault-tolerant marriage of causal and strong consistency [PDF]
  USENIX ATC'21: USENIX Annual Technical Conference, 2021.
  Extended version available as arXiv:2106.00344 [PDF]

• Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra
  Efficient replication via timestamp stability [PDF] [Code]
  EuroSys'21: European Conference on Computer Systems. ACM, 2021.
  Extended version available as arXiv:2104.01142 [PDF]

• Gregory Chockler and Alexey Gotsman
  Multi-shot distributed transaction commit [PDF]
  Distributed Computing, 34(4). Springer, 2021.
  Journal version of our DISC'18 paper.

• Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, and Marek Zawirski
  Specification and space complexity of collaborative text editing [PDF]
  Theoretical Computer Science, 855. Elsevier, 2021.
  Journal version of our PODC'16 paper.

• Manuel Bravo, Gregory Chockler, and Alexey Gotsman
  Making Byzantine consensus live [PDF]
  DISC'20: International Symposium on Distributed Computing, LIPICS 179. Dagstuhl, 2020.
  Extended version available as arXiv:2008.04167 [PDF]

• Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra
  State-machine replication for planet-scale systems [PDF]
  EuroSys'20: European Conference on Computer Systems. ACM, 2020.
  Extended version available as arXiv:2003.11789 [PDF]

• All publications

Research group

• Alejandro Naser, PhD student
• Fedor Ryabinin, PhD student

I have postdoc, PhD student and intern positions available. Apply here under "Open Call" and mention my name in the application documents.

Alumni:

• Artem Khyzha (PhD student [Thesis]), now a verification engineer at ARM, UK
• Vitor Enes (PhD student [Thesis]), now in industry
• Giovanni Bernardi (postdoc), now a faculty member at the University of Paris 7, France
• Manuel Bravo (postdoc), now a researcher at Informal Systems, Spain
• Andrea Cerone (postdoc), now in industry
• Álvaro García Pérez (postdoc), now a researcher at CEA, France
• Joe Izraelevitz (postdoc), now a faculty member at University of Colorado Boulder, USA
• Matthieu Perrin (postdoc), now a faculty member at the University of Nantes, France
• Yuri Meshman (postdoc), now in industry
• Christian Roldán (postdoc), now in industry

Activities

• Recent programme committees: OSDI'24, POPL'24, ESOP'24, PODC'23, OPODIS'22, SSS'22, Middleware'22, PaPoC'22, PODC'21, CONCUR'21, OPODIS'21, PODC'20, POPL'20, DSN'19, CONCUR'19, ESOP'19, ECOOP'19

• Co-chair: International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2020

• Co-chair: Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) 2017, affiliated with EuroSys

• Co-organiser: Dagstuhl Seminar "Data Consistency in Distributed Systems: Algorithms, Programs, and Databases", 2018

Funding

• ERC Starting Grant "RACCOON: A Rigorous Approach to Consistency in Cloud Databases", 2017-2022

• Ramón y Cajal Fellowship, 2017-2022

• I was the coordinator of an EU project ADVENT (2013-2016), funded through the FP7 FET Young Explorers scheme

Teaching

• Summer School on Practice and Theory of Distributed Computing, 2020 and 2023

• Summer School on Verification Technology, Systems & Applications, University of Luxembourg, 2019

• Winter School on Separation Logics and Applications, ENS Lyon, 2011