I am Enrique, a third-year PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF), under the supervision of Ahmed Bouajjani, IRIF, and Constantin Enea, LIX, working on Specification and Verification of Heterogenous Isolation Levels in Distributed Storage Systems. I got my Bachelor degrees in Mathematics and Computer Engineering at Complutense University of Madrid.

I will be joining Freiburg University as a PostDoc in 2025.

Contact

Email: calvo at informatik dot uni-freiburg dot de

In-person meeting: office 00-022, building 052 at University of Freiburg, Georges-Köhler-Allee 52, Freiburg