Raúl Pardo Jimenez
Postdoctoral Researcher at the IT University of Copenhagen
Raúl is a postdoctoral researcher in the SQUARE group at the IT University of Copenhagen where he works with Andrzej Wąsowski and Willard Rafnsson. In the past, Raúl was a Postdoctoral researcher in the Privatics team at Inria where he worked with Daniel Le Métayer. He has a PhD degree in Computer Science from Chalmers University of Technology. During his PhD studies he was part of the Formal Methods Division at the Department of Computer Science and Engineering. Raúl was supervised by Gerardo Schneider, Musard Balliu and David Sands.