阿米尔·伯努利

✍ dations ◷ 2025-01-11 08:41:40 #阿米尔·伯努利

阿米尔·伯努利（英语：Amir Pnueli，1941年4月22日－2009年11月2日），以色列计算机科学家。

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

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

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

相关

肠杆菌等肠杆菌属（学名：Enterobacter）是一种革兰氏阴性菌、兼性厌氧生物及呈棒状的细菌，属于肠杆菌目肠杆菌科。这个属下的七个种都是病原及使宿主免疫受损的机会性感染的细菌。泌尿道
芳村区芳村区（1949年至2005年）是中国广州市的一个旧市辖区，最早于1949年设立，经过多次撤区与复区，2005年与荔湾区合并。芳村区位于广州市西南端，三面临珠江，陆地面积42.6平方公里。属珠江
F-15鹰式战机空对空导弹：AIM-7“麻雀”中程空对空导弹AIM-120“AMRAAM”先进中程空对空导弹AIM-9响尾蛇短程空对空导弹配置:四枚AIM-7麻雀导弹或四枚AIM-120先进中程空对空导弹，通常挂载于
怀卡托大学怀卡托大学（ Te Whare Wānanga o Waikato，University of Waikato）位于新西兰汉密尔顿市和陶朗加地区。1964年建校，是新西兰的国立大学。怀卡托大学毛利学生的比例是新西兰大学
炭疽乐队炭疽乐团（英语：Anthrax）是美国的鞭击金属乐团，1981年由节奏吉他手史考特·伊恩（英语：Scott Ian）与贝斯手丹·利尔克（英语：Dan Lilker）成立于纽约市。炭疽是鞭击金属的领导乐团之一，他们
卡尔·米勒卡尔·米勒（德语：Karl Müller，1927年4月20日－，巴塞尔），瑞士物理学家，1987年获诺贝尔物理学奖。1901年：伦琴 / 1902年：洛伦兹、塞曼 / 1903年：贝克勒、皮埃尔·居里、玛丽·居里 / 1904
奇希尔图马奇希尔图马（格鲁吉亚语：ჩიხირთმა）是一道乔治亚传统料理，制作过程几乎不用到蔬菜。奇希尔图马的底料是鸡肉（有时用羊肉）汤，之后加入鸡蛋和少量小麦粉等原料熬煮。出锅前加入
张云标张云标（1895年－1965年），生于浙江省嵊县廿八都村，越剧男演员。1917年6月，到上海演出。从1931年至1950年，连续举办数个越剧科班。学生有张桂卿、商小云等。代表作品有《双金花》《三
1986年10月3日日食1986年10月3日日食是一次全环食，发生于1986年10月3日（苏联最东端的日偏食区域为10月4日）。新月当天（即朔日），地球上观测到月球和太阳的角距离极小，此时月球如果恰好在月球交点附近，
潘拿古南火山潘拿古南火山（英语：Mount Penanggungan）是一座位于印度尼西亚东爪哇省的复式火山，其位置紧邻于阿朱那-维利朗火山的北边。在此火山的山上，有几处印度教与佛教的圣所、圣地、纪念