I am Enrique, a Postdoctoral Researcher at Technical University of Munich under Javier Esparza. Before that, I was 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, a Bachelor degree in Mathematics and a Bachelor degree in Computer Engineering at Complutense University of Madrid.

Contact

Email: enrique dot roman-calvo at tum dot de

In-person meeting TBA