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 irif dot fr

In-person meeting: office 4060 at IRIF, Sophie Germain building, 8 place Aurélie Nemours, 75013 Paris.