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.