معرفی
Alejandro Aguirre is a Research Fellow at the Department of Computer Science, Aarhus University, where he works with Lars Birkedal. Previously, he was a PhD student at the Imdea Software Institute in Madrid under Gilles Barthe. His research focuses on formal verification, probabilistic programming, and programming language semantics.
Recent work includes:
- Modular Reasoning about Error Bounds (2025) for concurrent probabilistic programs
- Applying Guarded Type Theory to model recursion and probabilistic choice
- Developing Error Credits for resourceful error bound analysis
- Asynchronous Probabilistic Couplings in higher-order separation logic
He received the Distinguished Paper Award at ICFP '24. His publications span journals and conferences like POPL, ICFP, ESOP, and ICALP, with a focus on theoretical foundations and practical verification tools.
۰مقاله منتشرشده
