Nazareno Aguirre obtained his PhD from King's College London (UK) in 2004, where he worked under the supervision of Dr. Tom Maibaum on the formal specification of reconfigurable software architectures. He is now an Associate Professor at the University of Rio Cuarto, Argentina, and a Researcher 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, including ICSE, OOPSLA, FSE, ASE, ACM TOSEM and IEEE TSE.