阿米尔·伯努利

✍ dations ◷ 2025-11-13 16:54:14 #阿米尔·伯努利

阿米尔·伯努利(英语:Amir Pnueli,1941年4月22日-2009年11月2日),以色列计算机科学家。

伯努利出生于英国巴勒斯坦(以色列)的那哈啦,并获得了海法以色列理工学院的数学学士学位和博士学位。来自魏茨曼科学研究所的应用数学。他的论文主题是“海洋潮汐的计算”。在斯坦福大学担任博士后研究员期间,他转到计算机科学专业。他的计算机科学着作侧重于时态逻辑和模型检查,特别是关于并发系统的公平性。

1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。电脑协会(ACM)会士。

魏茨曼科学研究学院数学博士。在斯坦福大学做博士后时转而研究计算机科学。


相关

  • 非有神论非有神论(Nontheism),在现代西方的意思上,是指相对于有神论(特别是一神论)信仰的思维。无神论、不可知论都可以算做是其中一种非有神论的类别,一般是指无宗教信仰的人,但并非无神论
  • 电子组态电子排布,或称电子排序、电子构型,指电子在原子、分子或其他物理结构中的每一层电子层上的排序及排列形态。正如其他基本粒子,电子遵从量子物理学,而不是一般的经典物理学;电子也
  • 台山台山可以指:
  • 椎骨切迹椎骨切迹是位于椎弓根(pedicle of vertebral arch)上下的凹陷处。当脊椎接合时,邻近骨头的切迹便形成椎间孔。
  • 保守革命保守革命(英语:Conservative Revolution),是由瑞士思想史家亚民·莫勒尔(Armin Mohler)所提出来的至今极具争议的集合概念,用于指称在魏玛共和国时期成长起来的意识形态潮流及这些
  • 艾丽西娅·冯·里特贝格艾丽西娅·冯·里特贝格(英语:Alicia Gräfin von Rittberg,1993年12月10日-),是一名德国演员。早期曾担任童星。近期以出演《怒火特攻队》中的艾玛一角闻名。
  • 钦定皇朝通志《钦定皇朝通志》,即《清朝通志》、《清通志》,清代嵇璜、刘墉等奉敕撰,成书于乾隆五十二年(1787年)。记载自清初至乾隆五十年止的典章制度。为十通之一。又与《钦定皇朝通典》、
  • 前528年
  • 1988-89 NBA赛季1988-89赛季是NBA第43个赛季,底特律活塞4:0横扫洛杉矶湖人,历史上首次夺得NBA总冠军。(1)-(8)种子排名NBA最佳第一阵容:NBA最佳第二阵容:NBA最佳第三阵容:NBA最佳新秀阵容:
  • 扬·阿列克谢扬·阿列克谢(罗马尼亚语:Ion Alexe,1946年7月25日-),罗马尼亚男子拳击运动员。他曾代表罗马尼亚参加1968年和1972年夏季奥林匹克运动会拳击比赛,其中1972年奥运会获得一枚银牌。