阿里·埃布纳西尔

传记

阿里·埃布纳西尔 (Ali Ebnenasir) 获得学士学位1994 年获得伊朗伊斯法罕大学计算机工程荣誉学位，1998 年获得伊朗科技大学软件工程硕士学位，1998 年获得伊朗德黑兰伊朗科技大学软件工程博士学位。 2005 年获得密歇根州立大学计算机科学博士学位。 Ali 的博士论文于 2005 年获得 ACM 博士论文奖提名。2005 年 8 月至 2006 年 8 月，Ali 还在密歇根州立大学软件工程和网络系统实验室担任博士后研究员。他的研究和教学兴趣包括软件工程、软件开发的形式化方法、高保证和可靠计算、并行和分布式计算以及关键任务嵌入式系统。在加入密歇根州立大学计算机科学与工程系攻读博士学位之前。 1998 年至 2001 年，他在业界工作并担任学术界兼职讲师。作为研究生，他获得了 IEEE 计算机协会旅行补助金、密歇根州立大学研究生院的论文完成奖学金和研究生办公室奖学金。他在主要国际期刊和会议上发表了多篇论文，例如 IEEE Transaction on Dependable and SecureComputing (TDSC)、ACM Transactions on Software Engineering and Methodology (TOSEM)、International Journal on Software Tools for Technology Transfer (STTT)、IEEE/ACM International Conference on Automated Software Engineering (ASE)、IEEE International Conference on DistributedComputing Systems (ICDCS)、European DependableComputing Conference (EDCC) 和 ACM SIGSOFT Foundations of Software Engineering。