罗兰·卡尔·巴克豪斯

✍ dations ◷ 2025-06-29 01:10:01 #1948年出生,在世人物,剑桥大学丘吉尔学院校友,伦敦帝国学院校友,诺丁汉大学教师,英国数学家

罗兰·卡尔·巴克豪斯（英语：Roland Carl Backhouse，1948年8月18日－）是一个英国计算机科学家和数学家，当前在诺丁汉大学担任教授。

Backhouse的职业生涯包括皇家航空研究院 (1969–1970)，赫瑞瓦特大学 (1973–1982)，艾塞克斯大学 (1982–1986)。在他到诺丁汉大学担任教授之前，他曾经是荷兰格罗宁根大学 (1986–90) 和埃因霍温理工大学 (1990–1999) 大学的教授。

巴克豪斯和 Hilary (née Mitchell) 结婚，他们有三个儿子：Kevin, Andrew and David.

他的研究领域包括程序构建的数学（mathematics of program construction）和算法问题解决。他和 Jan L. A. van de Snepscheut (1953—1994) 一起开始举办两年一次的 Mathematics of Program Construction 学术会议，第一会议在1989年。

相关

暂时性脑缺血短暂性脑缺血发作 (英文：transient ischemic attack (TIA), 俗称 "小中风") 是由于大脑特定部位的血液供应暂时受到阻碍，致使产生了神经系统的功能障碍。一般持续时间少于24小
镍-62镍-62（英语：Nickel-62, 62Ni）是镍的一种同位素，共有28个质子及34个中子。镍-62是一种稳定同位素（英语：Stable isotope ratio），有着已知核种中最高的每一核子结合能（英语：nuclear bindi
鸟类分类系统2014年，基于全基因组测序的鸟类分类系统公布，目前已经取代1980年代的鸟类DNA分类系统并广泛使用。今颚下纲各主要演化支的亲缘关系如下： .mw-parser-output table.clade{border
釉釉（英文: glaze）是指均匀覆盖在陶瓷器或搪瓷器外表面的玻璃质薄层，通常由硅酸盐复合物经由高温熔融态再冷却而制成。釉和坯体同样是由岩石或瓷土组成的。通过筛选特定矿物、添
图形计算器图形计算器通常指一种能够绘画图象、解方程组以及执行其它各种操作的手持计算器，大多数图形计算器还能编写程序。由于它们的屏幕较一般计算器大，因此能够同时显示多行文本。一
天球北极天极是地球的自转轴（地轴）(英语：earth axis)，向天球延伸后，在无穷远处与天球交会的两个假想点。夜空中的星星，看起来是从头顶上由东向西移动，使人产生天球也在从东向西自转的感觉，这
裕陵清裕陵（满语：ᡨᠣᠮᠣᡥᠣᠩᡤᠣᠮᡠᠩᡤᠠᠨ，穆麟德：tomohonggo munggan）是清朝入关后第四位皇帝清高宗弘历（乾隆帝）与孝贤纯皇后、孝仪纯皇后、慧贤皇贵妃、哲悯皇贵妃、淑嘉皇贵
路易斯·弗洛伊斯路易斯·弗洛伊斯（葡萄牙语：Luís Fróis、1532年－1597年7月8日）是葡萄牙天主教传教士，年轻时已经离葡萄牙，主要在日本传教，是《日本史》及《日欧比较文化》的作者。在方济各·沙勿
海南菜海南菜指的是源自中国海南省的地方菜系，又称琼菜，是中国颇具自身风味的地方菜系之一。海南菜多以海鲜为主，也可以找到其他地方菜系的影子，例如粤菜和闽菜的影响对其非常显著。此
埼玉县第14区埼玉县第14区是日本众议院的选区，设立于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 |