乔纳森·鲍文

✍ dations ◷ 2025-08-13 00:19:38 #1956年出生,在世人物,牛津人,龙校校友,牛津大学大学学院校友,英格兰计算机科学家,硅谷图形公司人物

乔纳森·P·鲍文 FBCS FRSA（Jonathan P. Bowen 1956年－）是一位英国计算机科学家。他是Museophile有限公司的主席和伦敦南岸大学的荣誉教授，在那里他领导应用形式方法中心。他是伯明翰城市大学计算机科学教授，威斯敏斯特大学普林特研究所（纽约市）客座教授，伦敦国王学院和伦敦大学学院访问学者

出生于牛津，是亨福里·鲍文（英语：Humphry Bowen）的儿子，在布莱恩斯顿学校、龙学校接受教育，后来进入牛津大学大学学院，在那里获得工程科学硕士学位。

相关

乌呼鲁卫星乌呼鲁卫星（Uhuru），原名“X射线探测卫星”、“探险者42号”或“小型天文卫星1号”（SAS-1），是人类历史上第一颗X射线天文卫星，由美国于1970年12月12日在肯尼亚发射升空。发射当天正
陆川陆川县（邮政式拼音：Luchwan）是中国广西壮族自治区玉林市所辖的一个县。总面积为1551平方公里，2008年人口为92万。陆川县辖14个镇：温泉镇、米场镇、马坡镇、珊罗镇、平乐镇、沙坡
哈莱姆文艺复兴哈莱姆文艺复兴是一场主要发生在1920年代的文化运动。在当时，它被以阿兰·勒罗伊·洛克1925年的诗集《新黑人运动》命名。尽管它主要集中在纽约的哈莱姆区。但是许多来自非洲
电解水电解水通常是指含盐（如氯化钠）的水经过电解之后所生成的产物。电解过后的水本身是中性，可以加入其他离子，或者可经过半透膜分离而生成两种性质的水。其中一种是碱性离子水，另一种
马格斯·哈弗拉尔马格斯·哈弗拉尔，或荷兰贸易公司的咖啡拍卖（荷兰语：Max Havelaar, of de koffij-veilingen der Nederlandsche Handel-Maatschappij）是穆尔塔图里（Multatuli，是Eduard Douwes Dek
边际效用在微观经济学中，边际效用（英语：marginal utility），又译为边际效应，是指每新增（或减少）一个单位的商品或服务，它对商品或服务的收益增加（或减少）的效用，也即是“效用──商品或服务量”图
萨马拉州萨马拉州（俄语：Самарская область，罗马化：Samarskaya oblast）是俄罗斯联邦主体之一，属伏尔加联邦管区。位于东欧平原东南部，伏尔加河在西部流过。面积53,600平方公
提塔利克鱼属提塔利克鱼属（属名：，转写自伊努克提图特语：ᑎᒃᑖᓕᒃ）是一种已灭绝的早期鱼类，生存于泥盆纪晚期，拥有许多类似两生类的特征，一些保存良好的化石于2004年在加拿大北部的埃尔斯米尔岛
IWI塔沃尔X95突击步枪IWI X95（又称：微型塔沃尔，英语：Micro Tavor，M.T.A.R. 21；有时又被简称为Tavor-2）是一系列由以色列武器工业（IWI）专门为特种部队以及通常不使用长管突击步枪的军事人员研制及生产的无
布莱尔酱料小吃布莱尔的酱料与小吃（英文：Blair's Sauces and Snacks）是一家1989年成立的美国零食公司，以其史高维尔指标极高的辣酱著称。在购买其产品时，消费者甚至要与公司签署一份声明书：如果