Welcome to new Postdoc Alejandro Aguirre

Welcome to Alejandro Aguirre, who joins CPV as a Postdoc from April 1, 2021. Alejandro obtained his PhD from the Technical University of Madrid in February 2021. During his studies, he worked as a predoctoral researcher at the IMDEA Software Institute, under the supervision of Professor Gilles Barthe. He wrote his dissertation on the topic of verification of relational properties of probabilistic higher-order programs, and his research interests span semantics and verification of higher-order programs in the presence of effects.