Name:Nazareno Aguirre

Bio:

Nazareno Aguirre is a Professor at the University of Rio Cuarto, Argentina, and a Research Scientist at Argentina’s National Council for Scientific and Technical Research (CONICET). He is also a Visiting Professor at Guangdong Technion-Israel Institute of Technology, China. 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/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China

Research interests:Software Engineering, Automated Analysis, Software Verification