I am Enrique, a Postdoctoral Researcher at Freiburg University under Andreas Podelski. I did my PhD at the Institut de Recherche en Informatique Fondamentale (IRIF), under the supervision of Ahmed Bouajjani, and Constantin Enea. The title of my thesis is Specification and Verification of Isolation Levels in Distributed Storage Systems. I got a Masters degree in Mathematical Logic and Foundations of Computer Science, as well as a Bachelor degree in Mathematics and a Bachelor degree in Computer Engineering at Complutense University of Madrid.

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