乔纳森·鲍文

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

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

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

相关

  • 反复反复流产(recurrent miscarriage)是指两次或两次以上连续流产,过去称为习惯性流产(habitual abortion),而在医学研究中较常使用复发性流产(recurrent pregnancy loss 或 RPL)。造成
  • 果酸果酸(AHA、α-Hydroxy acids、alpha hydroxy acids),是指由多种天然蔬果中所萃取的自然酸,由于绝多数均自水果中提炼,因而俗称为果酸,但也有人工合成的。这类有机酸中,羟基取代了和
  • 泰国变性女性泰国变性人(泰语:กะเทย,皇家转写:Kathoey,IPA:)是指由男性变为女性的泰国变性人,又名ladyboy。许多华人常将其称为“泰国人妖”。在古代,กะเทย是指雌雄同体,与现代用来指异
  • 大陆冰川海洋性冰川(温性季风性冰川),是对中国冰川的分类,相对应的则为“大陆性冰川”。是最早由中国冰川学家、院士施雅风出的对冰川的分类方法。
  • 管弦乐管弦乐团(英语:Orchestra)是当今世上编制最庞大、最复杂的乐团型态,拥有极强大而广泛之音乐表现力。管弦乐团一般演奏古典音乐或为歌剧伴奏,有时也会替流行音乐伴奏;现代不少管弦
  • 焦秉贞焦秉贞(?-?),字尔正,山东济宁人。清代画家、天文学家。传教士汤若望的学生,通晓天文历法,善画,尤喜画肖像。康熙年间官至钦天监五官正,供奉内廷,精于人物、山水、花卉及楼台亭阁等绘风。
  • 南京航空航天大学南京航空航天大学位于中国江苏省南京市,隶属于中华人民共和国工业和信息化部,由国家国防科技工业局和江苏省人民政府重点共建,是一所以航空航天技术为主的高等学校。南京航空航
  • 美国教育美国教育主要由政府提供,由三级政府:联邦政府、州政府和地方政府(学区)控制和资助。在小学和中学,课程、资金、教学和其他政策都由当地选举产生的学区委员会决定。学区通常根据官
  • 荒川 (荒川区)荒川(日语:荒川/あらかわ  */?)是东京都荒川区中央地区的町名。现行行政地名为荒川一丁目至荒川八丁目。已实施住居表示(日语:住居表示)。位于荒川区中央,也是荒川区役所所在,是荒
  • 约瑟·巴贝拉约瑟夫·罗兰·“乔”·巴伯拉(英语:Joseph Roland "Joe" Barbera,1911年3月24日-2006年12月18日)是美国动画师、导演、制片人、分镜画师兼卡通画师,他创作的电影和电视动画角色曾