艾伦·爱默生（1954年6月2日生），全名Ernest Allen Emerson，是一位美国计算机科学家，德克萨斯州大学奥斯汀分校荣誉教授。他与爱德蒙·克拉克和约瑟夫·斯发基斯共同因在模型检查领域的杰出贡献而获得2007年图灵奖。爱默生在形式验证软件和硬件方面的模型检查技术发明和开发中起到重要作用，包括引入计算树逻辑（CTL）和其扩展CTL*，用于验证并发系统。他还与他人共同开发了象征模型检查，以解决在许多模型检查算法中产生的组合爆炸问题。
本页面主要目录有关于艾伦·爱默生的：人物关系、正文等介绍
Ernest Allen Emerson
美国
1954年6月2日，美国达拉斯
科学家、计算机科学家
哈佛大学
著名的“模型检测”的论文就是Emerson与导师Clarke合作的。Emerson是从德州奥斯丁分校获得的其数学本科学位，并从哈佛大学应用数学系获得其博士学位。Emerson是得克萨斯大学奥斯汀分校教授，曾任 ACM Transactions on Computational Logic, Formal Aspects of Computing, 和 Formal Methods in Systems Design 等杂志的编委。他拥有得克萨斯大学奥斯汀分校数学学士和硕士学位，哈佛大学应用数学学位。他的主页透露，自己之所以走上形式化验证的道路，是受了1970年代中期图灵奖得主Tony Hoare的一篇CACM 论文"Proof of Program: Find"的启发。他位列CiteSeer引用次数最多的前1%计算机科学家。
新亚洲娱乐（英文名：ASIA ENTERTAINMENT GROUP LIMITED，全称：新亚洲娱乐联盟集团有限公司）是一家以从事戏剧制作人及杂项戏剧服务为主的企业，成立于1999年，位于香港特别行政区。旗下分公司包括虎威艺能创作有限公司(TGS HK)、稻草人娱乐创作社(Scarecrow Entertainment)、虎威王朝音乐创作股份有限公司(TGS Music)、虎威活力娱乐传播有限公司(TGS Taiwan)、AK Entertainment(Korea)以及AEG Korea等。
印度孟买SENSEX30指数（又称孟买敏感指数）为印度最被广泛使用的指数，为投资印度的重要参考指标，是由孟买证券交易所发行。由于各类媒体提到的“印度股市”，实际上都是孟买股票交易所，因此，该交易所的SENSEX-30指数几乎成了印度股市的代名词。
