罗兰·卡尔·巴克豪斯

✍ dations ◷ 2025-08-13 02:22:10 #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年。

相关

原核生物原核生物（英文：prokaryote）是通常由单一原核细胞形成的生物。相对于真核细胞，原核细胞一般没有细胞内膜、没有核膜包裹的成型细胞核，细胞内无染色体，DNA链未螺旋化，并以游离的形成
意大利-西罗曼语根据某些分类法，意大利-西罗曼语支（Italo-Western languages）是罗曼语族最大的一个分支。它又可进一步分为意大利-达尔马提亚语支与西罗曼语支，前者主要包括意大利语、西西里语
胰凝乳蛋白酶胰凝乳蛋白酶（Chymotrypsin，bovine γ，PDB 1AB9，EC 3.4.21.1），也叫糜蛋白酶。胰凝乳蛋白酶是一种能够分解蛋白质的消化性酶，活性基团为丝氨酸，故属于丝氨酸蛋白酶。胰凝乳蛋白酶在酪
甲基丙二酸单酰辅酶A变位酶2XIJ, 2XIQ, 3BIC· cobalamin binding · metal ion binding· post-embryonic development · short-chain fatty acid catabolic process · cellular lipid metaboli
判官判官可以指：
氧疗氧疗（Oxygen therapy）是用供应氧气作为医学治疗的方式，，可以治疗缺氧、一氧化碳中毒、丛集性头痛，也可以在全身麻醉时维持病患体内的氧气。氧疗也会用于治一些长期氧气不足的患者
场 (物理)在物理里，场（英语：Field）是一个以时空为变数的物理量。空间中弥漫着的基本相互作用被命名为“场”。场可以分为标量场、矢量场和张量场等，依据场在时空中每一点的值是标量、矢量
2010年王家岭矿难王家岭煤矿“3·28”透水事故，为2010年3月28日13时40分，山西省临汾市碟子沟华晋焦煤有限责任公司63工程处承建的王家岭煤矿北翼盘区101回风顺槽发生的一起煤矿透水事故。该矿
米-26直升机米-26直升机（俄语：Ми-26）是一款多用途重型直升飞机，也是当今服役中最重、最大的直升机，由苏联米尔莫斯科直升机工厂（原米尔实验设计局）设计。该机的机舱载重和舱外负重均可达20吨
太恒浩太恒浩（朝鲜语：태항호 ，英语： Tae Hang Ho ，1983年7月22日－），韩国男演员。