I am a PhD student at the Imdea Software Institute in Madrid under the supervision of Gilles Barthe.
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
A Pre-Expectation Calculus for Probabilistic Sensitivity.
To appear in POPL'21
Alejandro Aguirre, Shin-ya Katsumata.
Weakest Preconditions in Fibrations
MFPS 2020
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub.
A relational logic for higher-order programs (Journal Version). JFP
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.
Formal Verification of Higher-Order Probabilistic Programs. POPL '19
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva.
Almost Sure Productivity. ICALP '18
[ArXiV extended version]
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg.
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP '18
[Slides]
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub.
A relational logic for higher-order programs. ICFP '17
[Slides]
2016- PhD in Computer Science.
Universidad Politecnica de Madrid, Madrid, Spain
2015-2016 Masters of Research in Informatics.
Université Paris 7, Paris, France
2010-2015 Double Degree in Mathematics and Computer Science.
Universidad Complutense de Madrid, Madrid, Spain