阿米爾·伯努利（英語：Amir Pnueli，1941年4月22日—2009年11月2日），以色列計算機科學家。
生平
伯努利出生於英國巴勒斯坦（以色列）的那哈啦，並獲得了海法以色列理工學院的數學學士學位和博士學位。來自魏茨曼科學研究所的應用數學。他的論文主題是「海洋潮汐的計算」。在斯坦福大學擔任博士後研究員期間，他轉到計算機科學專業。他的計算機科學着作側重於時態邏輯和模型檢查，特別是關於並發系統的公平性。
1996年因「開創性地將時序邏輯引入計算機科學和對程序和系統驗證領域的傑出貢獻」而獲得圖靈獎。電腦協會（ACM）會士。
魏茨曼科學研究學院數學博士。在斯坦福大學做博士後時轉而研究計算機科學。
參考來源
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
