师资队伍 > 专业师资 > Nazareno Matias Aguirre
Nazareno Aguirre于2004年在伦敦国王学院获得博士学位，在Tom Maibaum博士的指导下从事可重构软件体系结构的正式规范。他现在里奥夸尔托国立大学的副教授，也是阿根廷国家科学技术研究委员会（CONICET）的研究员。他目前的研究兴趣是把控软件正确性和协助生成高质量软件，运用技术主要包括具有正式基础的程序规范、自动化测试和程序等。Nazareno Aguirre的研究已在顶级软件开云在线登陆会议和期刊上发表，包括ICSE、OOPSLA、FSE、ASE、ACM TOSEM和IEEE TSE。
