- Published multiple papers in international conferences and journals such as OPODIS'25, DISC'25, PODC'25, etc.
- Paper 'Fault-tolerant computing with unreliable channels' won the Best Paper Award at OPODIS'23.
Research Experience
- IMDEA Software Institute, Research Professor
- Amazon Web Services, Visiting Academic
- University of Cambridge, Postdoctoral Fellow
Education
Ph.D. from the University of Cambridge.
Background
Research interests: at the intersection of software verification and distributed computing. Currently a tenured Research Professor at the IMDEA Software Institute, and part-time visiting academic at Amazon Web Services.