周以真

✍ dations ◷ 2025-10-08 02:43:15 #生年不详,在世人物,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%。

相关

  • UN编号联合国危险货物编号(UN number)是一组4位数字的编号,它们可以被用来识别有商业价值的危险物质和货物(例如爆炸物或是有毒物质)。这种数字架构在国际贸易当中被广泛使用,以便于标注
  • 黄克智科教兴国贡献奖 2008年黄克智(1927年7月21日-),中国力学家,中国科学院院士、清华大学教授。生于江西南昌(一说九江)。与张维、杜庆华同为清华大学固体物理专业最早的三位博士生导
  • 外债以下列出世界各国的外债概况,债务人包括政府、企业或个人。
  • 林姓是汉字姓氏之一,在《百家姓》中排名第147位。在台湾第二大姓氏;但在中国大陆第十七大姓氏,林姓主要集中在福建、广东省四邑(今天,通常称为江门五邑, 就是江门市管辖的新会,开平
  • 赋权赋权(英语:Empowerment),也译为赋能、充权、充能、授能、培力等,有不同的定义解释。根据社区心理学家(如Rappaport,1987;Rappaport,1992;Perkins & Zimmerman,1995)的一般说法,赋权乃
  • β肾上腺素受体激动药β肾上腺素受体激动药(英语:β-adrenergic receptor agonists)常常简称β激动药(英语:β-adrenergic agonists),是可以让呼吸道肌肉放松的药物,因此可以让呼吸道放宽、让呼吸比较容
  • 核电池原子能电池(又称核电池,氚电池或放射性同位素发电装置)是指那些使用放射性同位素衰变时产生之能量来产生电力的装置。这会使人误解成核反应堆,但实际上这种电池不是利用链式反应
  • 第十五阿波罗军团第十五阿波罗军团(英语:Legio XV Apollinaris)古罗马军队建制名称。由屋大维于公元前41年(一说公元前40年)建立并存在至5世纪。该军团曾先后参加犹太战争、达契亚战争、罗马-波斯
  • 粉碎狂热《Crash Fever》(日语:クラッシュフィーバー)是日本WonderPlanet(ワンダープラネット株式會社)制作,运行在Android和iOS平台,色珠消除角色扮演益智游戏的行动应用程序(APP)。日本于20
  • 拉卡托什·伊姆雷拉卡托什·伊姆雷(匈牙利语:Lakatos Imre,1922年11月9日-1974年2月2日),又译伊姆雷·拉卡托斯,匈牙利数学哲学与科学哲学家,批判地继承了波普尔的科学哲学理论,提出了科学研究纲领方