AIware 2024
Mon 15 - Tue 16 July 2024 Porto de Galinhas, Brazil, Brazil
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

Using general profile