艾伦·e·爱默生

艾伦·e·爱默生,在全恩斯特·艾伦爱默生(出生于1954年6月2日,达拉斯美国德克萨斯州,美国),计算机科学家cowin 2007点图灵奖,最高的荣誉计算机科学“他的作用在发展中模型检查成一个高效的验证技术,广泛采用的硬件和软件产业。”

爱默生获得了学士学位(1976)数学从德克萨斯大学数学和博士学位(1981)哈佛大学。爱默生之后举行了一次赋予椅子在计算机科学德克萨斯大学在奥斯汀。

爱默生和他的前任哈佛毕业生顾问埃德蒙·m·克拉克——独立约瑟夫Sifakis图灵奖的法国引用为他们的工作在1981年模型检测软件,用于自动化检测的逻辑时序电路的设计和软件中的错误。

根据艾默生,

如果一个程序可以指定在时序逻辑,那么它可以实现为一个有限状态放行程序只有有限数量的不同的配置。这个建议的概念模型检查检查是否一个有限状态图是一种时序逻辑的模型规范。