Enrique Román Calvo

Enrique Román Calvo is a Postdoctoral Researcher in the Department of Computer Science at the University of Freiburg, working under Professor Andreas Podelski. His research focuses on program verification, concurrency, and distributed systems.

He received his PhD from Institut de Recherche en Informatique Fondamentale (IRIF) with a thesis on "Specification and Verification of Isolation Levels in Distributed Storage Systems". He also holds a Master's in Mathematical Logic and Foundations of Computer Science, and Bachelor degrees in Mathematics and Computer Engineering from Complutense University of Madrid.

His primary research interests include program verification techniques for concurrent and distributed systems. He investigates dynamic partial order reduction methods to efficiently verify correctness against transaction isolation levels in distributed databases. His work bridges theoretical formal methods with practical systems challenges.

His recent publication at PLDI 2023 on dynamic partial order reduction for transaction isolation levels reflects a trend in applying formal verification to distributed systems, with emphasis on scalability and correctness guarantees.

No scientific awards were mentioned in the provided information.

Dr. Calvo invites students to contact him for project supervisions and thesis work in program verification and distributed systems, indicating active involvement in mentoring.

He is a member of the research group led by Andreas Podelski at the University of Freiburg, contributing to the group's expertise in program analysis and verification tools.