罗兰·卡尔·巴克豪斯

✍ dations ◷ 2025-05-18 11:05:42 #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年。

相关

  • 内皮细胞层内皮细胞或血管内皮是一薄层的专门上皮细胞,由一层扁平细胞所组成。它形成血管的内壁,是血管管腔内血液及其他血管壁(单层鳞状上皮)的界面。内皮细胞是沿着整个循环系统,由心脏直
  • 粒子加速器粒子加速器(英语:particle accelerator)是利用电场来推动带电粒子使之获得高能量。日常生活中常见的粒子加速器有用于电视的阴极射线管及X光管等设施。只有当被加速的粒子置于
  • 己部,为汉字索引里为部首之一,康熙字典214个部首中的第四十九个(三划的则为第二十个)。就繁体和简体中文中,己部归于三划部首。己部通常是从上、下、右方及中间均可为部字,它亦可
  • 密尔沃基疗法密尔沃基疗法(Milwaukee protocol)是一种治疗人类感染狂犬病的实验性治疗方法。该治疗方法所采用的手段包括使用化学药物使患者进入诱导昏迷(英语:induced coma)状态,并给予抗病毒
  • 电子轨道原子轨道(德语:atomorbital;英语:atomic orbital),又称轨态,是以数学函数描述原子中电子似波行为。此波函数可用来计算在原子核外的特定空间中,找到原子中电子的概率,并指出电子在三
  • 玉蕊玉蕊(学名:Barringtonia racemosa),又名水茄冬,为玉蕊科玉蕊属的半红树植物。分布于亚洲、非洲、台湾、大洋洲以及中国大陆的广东和广西、海南岛等地。因耐风耐盐,常植于海滨地区,
  • 沩山沩山,又名大沩山,是湖南省境内一座山,地处宁乡县、桃江县和安化县三个县交界处。其最高峰雪峰顶,海拔927米。沩山为沩水的发源地;山上有始建于唐代的密印寺为佛教沩仰宗的发源地;
  • 哈斯蒙尼王朝哈斯蒙尼王朝(英语发音:/ˌhæzməˈniːən/ (audio); 希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL"
  • 美国运输部美国运输部(英语:United States Department of Transportation,简称DoT,又译美国交通部)是美国联邦政府的交通行政部门。1966年10月15日,美国国会通过设立运输部法案。1967年4月1
  • 阿乌尔阿乌尔(车臣语:oil;俄语:аул),突厥语解村落,是指高加索特别是达吉斯坦地区一种堡垒型村落。阿乌尔一般由石头建造有两层高,建在悬崖上,防止敌人入侵。同时通常向南,确保冬天温暖。