* ICSE 2018 * (series) / Nazareno Aguirre

Registered user since Fri 15 Aug 2014
Name:Nazareno Aguirre
Bio:
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.
Country:Argentina
Affiliation:Dept. of Computer Science FCEFQyN, University of Rio Cuarto
Personal website:http://dc.exa.unrc.edu.ar/staff/naguirre/
Research interests:Software Engineering, Automated Analysis, Software Verification
Contributions
* ICSE 2018 * | Committee Member in SCORE Program Committee within the SCORE-track Goal-Conflict Likelihood Assessment based on Model Counting | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
* ICSE 2018 *-profile
View general profile
View general profile