-
艾倫·愛默生
鎖定
艾倫·愛默生於1976年在美國德克薩斯大學奧斯汀分校獲得數學學士學位;1981年在美國哈佛大學獲得應用數學博士學位,同年受聘為美國德克薩斯大學奧斯汀分校計算機科學教授;2004年入選美國科學信息研究所全球高被引研究人員;2007年獲得圖靈獎。
[1]
[10]
- 中文名
- 艾倫·愛默生
- 外文名
- E Allen Emerson
- 國 籍
- 美國
- 出生地
- 美國得克薩斯州達拉斯
- 出生日期
- 1954年6月2日
- 畢業院校
- 哈佛大學
- 職 業
- 教育科研工作者
- 主要成就
- 2007年獲得圖靈獎
艾倫·愛默生人物經歷
1954年6月2日,艾倫·愛默生出生於美國得克薩斯州達拉斯。
1976年,在美國德克薩斯大學奧斯汀分校獲得數學學士學位。
2004年,入選美國科學信息研究所全球高被引研究人員。
[10]
艾倫·愛默生主要成就
艾倫·愛默生科研成就
- 科研綜述
20世紀80年代初在北美工作時,艾倫·愛默生與埃德蒙·克拉克(Edmund Clarke)合作,提出了自動化質量保證方法的技術概念,該方法可以檢查名義上有限狀態併發系統是否提供了(即滿足)其規範的模型。他們還為該方法創造了現代普遍使用的術語“模型檢查”;艾倫·愛默生定義了硬件和軟件驗證的模型檢查方法;艾倫·愛默生開發的許多邏輯機制是大多數工業規範邏輯和相關模型檢查工具的核心,這些邏輯已經被合併到幾個商業框架(例如IBM Sugar)和工程規範標準(例如加速ieee屬性規範邏輯,IBM屬性規範邏輯/Sugar)中。
[1]
- 學術論文
[1]A. Prasad Sistla,Viktor Gyuris,E. Allen Emerson.SMC: a symmetry-based model checker for verification of safety and liveness properties[J].ACM Transactions on Software Engineering and Methodology (TOSEM),2000.
[8]
[2]Farn Wang,Aloysius K. Mok,E. Allen Emerson.Distributed real-time system specification and verification in APTL[J].ACM Transactions on Software Engineering and Methodology (TOSEM),1993.
[3]E. A. Emerson,J. Y. Halpern.Sometimes" and "Not Neve r" revisited: on branching versus linear time[J].Journal of the ACM,1986.
[8]
[4]E. M. Clarke,E. A. Emerson,A. P. Sistla.Automatic verification of finite-state concurrent systems using temporal logic specifications[J].ACM Transactions on Programming Languages and Systems (TOPLAS),1986.
[5]E. M. Clarke,E. A. Emerson,A. P. Sistla.Au - tomatic verification of finite - state concurrent systems using temporal logic specifi - cations[J].ACM Transactions on Programming Languages and Systems (TOPLAS),1983.
[8]
- 學術交流
艾倫·愛默生人才培養
- 學生培養
艾倫·愛默生榮譽表彰
獲獎時間 | 榮譽表彰 |
---|---|
1998年 | ACM Paris Kanellakis理論與實踐獎 |
1999年 | 卡內基梅隆大學艾倫·紐厄爾傑出研究獎 |
2006年 | IEEE計算機科學邏輯學時間測試獎 |
2007年 | 圖靈獎 |
艾倫·愛默生社會任職
艾倫·愛默生曾擔任美國德克薩斯大學奧斯汀分校董事會主席,以及《ACM Transactions on Computational Logic》《Formal Methods in Systems Design》《Formal Aspects of Computing》《Methods of Logic in Computer Science》期刊編輯。
[1]
艾倫·愛默生個人生活
- 興趣愛好
艾倫·愛默生從小對科學和數學話題感興趣。他在進入公立學校學習微積分之前自學了幾年。艾默生在高中時選修了計算機編程課程,並在通用Mark I分時系統上學習了BASIC(初學者通用符號指令代碼)。隨後,他自學了Fortran(一種編程語言)和Algol(算法語言),並在Burroughs B5500大型計算機上運行程序。
[1]
艾倫·愛默生人物評價
艾倫·愛默是將約簡與其他對抗狀態爆炸的方法相結合的先驅(Emerson has also been a pioneer in combining reductions with other means of combating state explosion)。(美國計算機協會評)
[1]
他(艾倫·愛默)在程序綜合和自動機理論方面做出了實質性的貢獻(He he has also made substantive contributions to program synthesis and automata theory)。(美國德克薩斯大學奧斯汀分校評)
[7]
- 參考資料
-
- 1. E. ALLEN EMERSON .ACM[引用日期2023-08-21]
- 2. 74位圖靈獎得主背景顯示:大多數沒有主修計算機專業,也並非高引用計算機科學家 .計算機教育[引用日期2023-08-21]
- 3. 研究對象 .ACM[引用日期2023-08-21]
- 4. 艾倫·愛默生(E. Allen Emerson) .AMiner[引用日期2023-08-21]
- 5. E. Allen Emerson -- Home Page .得克薩斯大學奧斯汀分校[引用日期2023-08-21]
- 6. completed students .得克薩斯大學奧斯汀分校[引用日期2023-08-21]
- 7. E. Allen Emerson | Department of Computer Science .得克薩斯大學奧斯汀分校[引用日期2023-08-21]
- 8. E. Allen Emerson(艾倫·愛默生) .AMiner[引用日期2023-08-22]
- 9. The 2009 Visions of Computing Lecture: Model Checking Over Time | Department of Computer Science .德州大學奧斯汀分校[引用日期2023-08-25]
- 10. UTCS Awards and Honors for Spring 2004 | Department of Computer Science .德州大學奧斯汀分校[引用日期2023-08-25]