热门问题
时间线
聊天
视角
阿米爾·伯努利
来自维基百科，自由的百科全书
Remove ads
阿米爾·伯努利（英語：Amir Pnueli，1941年4月22日—2009年11月2日），以色列計算機科學家。
生平
伯努利出生於英國巴勒斯坦（以色列）的那哈啦，並獲得了海法以色列理工學院的數學學士學位和博士學位。來自魏茨曼科學研究所的應用數學。他的論文主題是「海洋潮汐的計算」。在史丹佛大學擔任博士後研究員期間，他轉到計算機科學專業。他的計算機科學著作側重於時態邏輯和模型檢查，特別是關於並發系統的公平性。
1996年因「開創性地將時序邏輯引入計算機科學和對程序和系統驗證領域的傑出貢獻」而獲得圖靈獎。電腦協會（ACM）會士。
魏茨曼科學研究學院數學博士。在史丹佛大學做博士後時轉而研究計算機科學。
參考來源
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads