周以真

✍ dations ◷ 2025-06-07 22:46:24 #生年不详,在世人物,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%。

相关

  • 烷基磺酸酯类磺酸酯为磺酸的有机酯,都含有R-SO2O−官能团。磺酸酯具有通式:R1SO2OR2。如R2基团为甲基,R1基团为三氟甲基,则化合物为三氟甲磺酸酯。由于RSO2O−基团在SN1,SN2,E1和E2反应中是一
  • 伞护种伞护种(英语:umbrella species)是保护生物学中的一个概念,指那些生存环境需求能够涵盖许多其他物种生存环境需求的物种。布鲁斯·威尔科克斯(Bruce A. Wilcox)最早于1984年提出这
  • 501(c)条款国内税收法是美国国内税收法(Internal Revenue Code, IRC)中的一项条款(美国国内税收法, § 501(c)),本条款列出了26种享受联邦所得税 (federal Income tax)减免的非营利组织。具体
  • 舒跑杯路跑赛舒跑杯路跑赛(英语:Supau Cup Mini Marathon)是一项在台湾台中市、台北市与高雄市举办的封闭街道跑步活动,由维他露食品与各单项运动协会合办,以维他露食品最著名运动饮料品牌“
  • 卡拉西奥多里康斯坦丁·卡拉西奥多里(德语:Constantin Carathéodory,1873年9月13日-1950年2月2日),希腊数学家,长期居于德国。卡拉西奥多里1873年9月13日生于柏林,1902年到格丁根,在闵科夫斯基指
  • 主体史学主体史学是朝鲜民主主义人民共和国在主体思想影响下的历史观。主要倡导者有黄长烨等。自50年代提出主体史学这一命题以来,朝鲜史学家们开始以新的观点分析和解释历史文献,在许
  • 莫敬完莫敬宇(越南语:Mạc Kính Vũ/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Mi
  • 2015湖南卫视节目巡礼2015湖南卫视节目巡礼,即2015年湖南卫视招商会。是中国大陆湖南广播电视台(HBS)旗下电视频道湖南卫视向广告客户推出的一系列冠名、广告招商以及公布2015年戏剧节目、综艺节目
  • 瓦哈卜·阿克巴尔瓦哈卜·阿克巴尔(他加禄语:Wahab Akbar,1960年4月16日-2007年11月13日)是菲律宾政治人物。他属于菲律宾自由党。他曾三度获选为巴西兰省省长,任期为1998年至2007年。在省长任期结
  • 里娅·塞顿玛格丽特·里娅·塞顿(Margaret Rhea Seddon,1947年11月8日-)曾是一位美国国家航空航天局的宇航员,执行过STS-51-D、STS-40以及STS-58任务。