ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

FASE 2019 Automatically Identifying Sufficient Object Builders from Module APIs
ETAPS 2019 Automatically Identifying Sufficient Object Builders from Module APIs
Show activities from other conferences

ETAPS 2019-profile
View general profile