周以真

✍ dations ◷ 2025-09-08 23:33:13 #生年不详,在世人物,IEEE Fellow,华人计算机科学家,美国计算机科学家,美国女性科学家,麻省理工学院校友,女性计算机科学家,卡内基美隆大学教师,周姓

周以真(英文名Jeannette M. Wing,),美国计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作,提出了著名的Liskov代换原则,是面向对象基本原则之一。

1979年6月在麻省理工学院获得学士和硕士学位,导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。

1983—1985年,在南加州大学任助理教授。1985年起,任教于卡内基梅隆大学。2004—2007年间,曾担任该校计算机系主任。

2006年3月,在美国计算机权威期刊《Communications of the ACM》杂志上给出,并定义的计算思维(Computational Thinking)。认为:计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。

周以真教授曾担任卡内基—梅隆大学计算机学院院长、美国国家科学院计算机科学与通讯部门主席、美国国防部高级研究计划署(DARPA)信息科学与技术委员会、美国国家科学基金科学顾问委员会以及Sloan 研究基金程序委员会的成员。2007年她出任美国国家科学基金会(NSF)计算机与信息科学与工程部(CISE)副部长,负责管理NSF在信息科学和计算机研究领域的基金。CISE每年的预算高达5.27亿美元,占整个美国联邦政府对计算机科学研究资助经费的86%。

相关

  • 内共生理论共生体学说(英语:Symbiogenesis),又称内共生学说(英语:endosymbiotic theory),是关于真核生物细胞中的一些自主细胞器ㄧ线粒体和叶绿体起源的学说。根据这个学说,它们起源于共生于真
  • 亚什摩及卡地尔群岛阿什莫尔和卡捷群岛(Ashmore and Cartier Islands)是澳大利亚的海外领地,位于澳大利亚和印度尼西亚之间。无人口居住,陆地总面积约114400平方米。1印度尼西亚的部分地区和东帝汶
  • 宜都市550.5亿元宜都市是地处中华人民共和国湖北省西南部的一个县级市,隶属地级宜昌市管辖,位于长江南岸,长江与其支流清江交汇处。素有“楚蜀咽喉,鄂西门户”之称,面积1357平方公里,人
  • 弓形子宫弓形子宫(arcuate uterus),是一类子宫发育先天异常的形式。子宫宫底中央有凹陷,宫壁向宫膜突出。弓形子宫无症状,妊娠后多为横位,表现为官底凹陷。通常它与子宫纵隔的区别并没有明
  • 贝尼西亚贝尼西亚(英文:Benicia),是美国加利福尼亚州索拉诺县下属的一个城市。于1850年3月27日建市。城市面积约为33.5平方公里,根据2010年美国人口普查,该市有人口26,997人。
  • 威斯敏斯特威斯敏斯特 (英语:Westminster)是美国科罗拉多州的一座城市,位于州府丹佛西北14千米处。行政上分属杰佛逊县和亚当斯县。面积85.1平方公里,2010年美国统计局公布其人口106,114人,
  • 中央省中央省为巴布亚新几内亚位于南方海岸的省份,其人口规模183,983人(2000年普查),面积29,500平方公里。中央省的首府位于莫尔兹比港,是巴布亚新几内亚的首都。
  • 三门河 (古宜河)三门河,位于中国广西壮族自治区北部,是古宜河(寻江)左岸支流,发源于临桂县黄沙瑶族乡黄沙村宽人槽东北1千米,西南流过朝塘村后转北流,进入龙胜各族自治县境,经三门镇,至瓢里镇交洲村
  • 达利娅·格里包斯凯特达利娅·格里包斯凯特(立陶宛语:Dalia Grybauskaitė,1956年3月1日-),出生于苏联时期立陶宛首都维尔纽斯,是立陶宛政治人物,她曾经担任立陶宛的外交部副部长和财政部长等职,并于2004
  • 刘良模刘良模(1909年-1988年),浙江镇海人(今宁波市镇海区),中国社会活动家、指挥家。刘良模1932年毕业于上海沪江大学社会系,任职于基督教青年会。寓居虹口山阴路青庄。刘良模热情投入抗日