师资步队 > 专业师资 > Nazareno Matias Aguirre
Nazareno Aguirre于2004年在伦敦国王学院获得博士学位，，在Tom Maibaum博士的指导下从事可重构软件系统结构的正式规范。。他现在里奥夸尔托国立大学的副教授，，也是阿根廷国家科学手艺研究委员会（CONICET）的研究员。。他现在的研究兴趣是把控软件准确性和协助天生高质量软件，，运用手艺主要包括具有正式基础的程序规范、、自动化测试和程序等。。Nazareno Aguirre的研究已在顶级软件工程聚会和期刊上揭晓，，包括ICSE、、OOPSLA、、FSE、、ASE、、ACM TOSEM和IEEE TSE。。
© 南宫NG28集团 版权所有 | 粤ICP备17036470号
