About Me
I obtained a Master's degree in Systems at Universidad Nacional de General Sarmiento, Argentina, in 2016. I completed my PhD studies in 2026 at Departamento de Computación, FCEyN, Universidad de Buenos Aires. My research interests are in the broad area of Software Engineering, but particularly in behavioral model inference for programs and smart contracts.
Publications
- Automated construction of predicate abstractions for smart contract validation SoSym 2025
- Modal abstractions for Smart Contract Validation Models 2025
- Predicate Abstractions for Smart Contract Validation Models 2022
- Enabledness-based Testing of Object Protocols TOSEM 2020
- Testing and validating end user programmed calculated fields ESEC/FSE 2018
Mentoring & Students
- Gianfranco Battolla – Licenciatura Thesis Director (Ongoing, 2026). DC, UBA.
- Ian Grinspan – Licenciatura Thesis Director (Completed, 2024-2025) & Scholarship Mentor (2023-2024). DC, UBA.
- Felicitas García – Licenciatura Thesis Director (Completed, 2024-2025). DC, UBA.
- Daniel Wappner – Licenciatura Thesis Director (Completed, 2023-2024) & Scholarship Mentor (2022-2023). DC, UBA.
- Edén Torres – Licenciatura Thesis Co-Director (Completed, 2022-2023). DC, UBA.
- Emilio Giménez – Scholarship Mentor (2022-2024). DC, UBA.
Academic Service
Journal Reviewer
- IEEE Transactions on Software Engineering (TSE) - 2026
Event Organization
- Organizer: FACAS 2025 (Workshop Fundamentos Para El Análisis Y Construcción Automática De Software). Río Cuarto, Córdoba, Argentina.
- Student Volunteer: MODELS 2025. Grand Rapids, Michigan, USA.
Teaching
I am a Professor (since 2026) and formerly (since 2020) Chief Teaching Assistant at the Departmento de Computación, FCEyN, Universidad de Buenos Aires. Also, I am a visitor professor at Universidad de San Andrés.