我是 学生 教职 员工 访客 活动 ENGLISH

师资队伍 > 专业师资 > Nazareno Matias Aguirre

Nazareno Matias Aguirre

数学与计算机科学

教授

邮箱

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


关闭

CONTACT US
联系我们

本科招生: 86-0754-88077088、88077060

地址:广东省汕头市大学路241号

邮编 :515063

© 广东以色列理工学院 版权所有 | 粤ICP备17036470号

Design by SHANGCE