2030 Software Engineering
Mon 15 - Fri 19 July 2024
co-located with FSE 2024
Nazareno Aguirre

Registered user since Fri 15 Aug 2014

Name:Nazareno Aguirre
Bio:

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.

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

Contributions

Show activities from other conferences

FSE 2024-profile
View general profile