Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Nazareno Aguirre

Registered user since Fri 15 Aug 2014

Name:Nazareno Aguirre

Nazareno Aguirre is an Associate Professor at the Computer Science Department, University of Rio Cuarto (UNRC), Argentina, and a Researcher of the Argentinian National Council for Scientific Research (CONICET). He is currently the Chair of the Computer Science Department at UNRC. He received his PhD from King’s College London, University of London, United Kingdom. His research interests include the foundations of software engineering, and formal techniques applied to software analysis.

Affiliation:University of Rio Cuarto and CONICET, Argentina
Research interests:Software Engineering, Automated Analysis, Software Verification


ASE 2021 Committee Member in Program Committee within the Research Papers-track
Session Chair of Verification (part of Research Papers)
BeAFix: An Automated Repair Tool for Faulty Alloy Models
FLACK: Localizing Faults in Alloy Models
Committee Member in Program Committee within the NIER track-track
Show activities from other conferences

ASE 2021-profile
View general profile