阿里·埃布纳西尔

传记

阿里·埃布纳西尔 (Ali Ebnenasir) 获得学士学位1994年获得计算机工程荣誉学位 1998 年获得伊朗伊斯法罕大学软件工程硕士学位 来自伊朗德黑兰伊朗科技大学，并获得博士学位。 2005年 密歇根州立大学计算机科学博士。阿里博士论文获得提名 2005年获得ACM博士论文奖。阿里还曾担任博士后 密歇根州软件工程和网络系统实验室研究员 2005 年 8 月至 2006 年 8 月在州立大学学习。他的研究和教学兴趣 包括软件工程、软件开发的形式化方法、高保证 和可靠计算、并行和分布式计算以及关键任务 嵌入式系统。加入计算机科学与工程系之前 在密歇根州立大学获得博士学位。计划中，他都在该行业工作 1998年至2001年在学术界担任兼职讲师。作为研究生， 他获得了 IEEE 计算机协会旅行补助金和论文完成奖 密歇根州立大学研究生院的奖学金和研究生办公室奖学金 大学。在主要国际期刊和会议上发表多篇论文 例如 IEEE 可靠和安全计算交易 (TDSC)、ACM 交易 on Software Engineering and Methodology (TOSEM)，国际软件杂志 技术转让工具 (STTT)，IEEE/ACM 国际自动化会议 软件工程 (ASE)，IEEE 国际分布式计算会议 Systems (ICDCS)、欧洲可靠计算会议 (EDCC) 和 ACM SIGSOFT 软件工程基础。