I am Enrique, a second-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.

Contact

Email: calvo at irif dot fr

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