阿米爾·伯努利
外觀
阿米爾·伯努利 Amir Pnueli | |
---|---|
![]() 阿米爾·伯努利 | |
出生 | 巴勒斯坦託管地納哈拉爾 | 1941年4月22日
逝世 | 2009年11月2日![]() | (68歲)
國籍 | 以色列 |
獎項 | 圖靈獎 (1996) 以色列獎 |
科學生涯 | |
研究領域 | 電腦科學 |
機構 | 史丹佛大學 臺拉維夫大學 魏茨曼科學研究學院 紐約大學 |
阿米爾·伯努利(英語:Amir Pnueli,1941年4月22日—2009年11月2日),以色列計算機科學家。
生平
[編輯]伯努利出生於英國巴勒斯坦(以色列)的那哈啦,並獲得了海法以色列理工學院的數學學士學位和博士學位。來自魏茨曼科學研究所的應用數學。他的論文主題是「海洋潮汐的計算」。在史丹佛大學擔任博士後研究員期間,他轉到計算機科學專業。他的計算機科學著作側重於時態邏輯和模型檢查,特別是關於並發系統的公平性。
1996年因「開創性地將時序邏輯引入計算機科學和對程序和系統驗證領域的傑出貢獻」而獲得圖靈獎。電腦協會(ACM)會士。
魏茨曼科學研究學院數學博士。在史丹佛大學做博士後時轉而研究計算機科學。
|
|