Nazareno Aguirre

Registered user since Fri 15 Aug 2014

Name:Nazareno Aguirre

Nazareno Aguirre is an Associate Professor at the University of Rio Cuarto, Argentina, and a Research Scientist at Argentina’s National Council for Scientific and Technical Research (CONICET). His current research interests relate to the problem of guaranteeing software correctness and helping produce quality software, mostly via techniques for program specification, automated testing, and program verification, with formal underpinnings. Nazareno Aguirre’s research has been published in top-tier software engineering conferences and journals. He regularly serves on program committees of software engineering conferences and is currently an Associate Editor of IEEE Transactions on Software Engineering.

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


Show activities from other conferences

Using general profile