Registered user since Fri 15 Aug 2014
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.
|ASE 2020||Session Chair of Formal Methods (1) (part of Research Papers)|
|Show activities from other conferences|
View general profile