周以真

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

相关

  • 抗生素生长促进剂抗生素生长促进剂(antibiotic growth promoters,AGPs)指在畜牧业中,作为非治疗用途使用的抗生素添加剂。20世纪50年代起,抗生素生长促进剂开始在动物生产中应用。2006年起,欧洲禁
  • 磁场在电磁学里,磁石、磁铁、电流及含时电场,都会产生磁场:3-4。处于磁场中的磁性物质或电流,会因为磁场的作用而感受到磁力,因而显示出磁场的存在。磁场是一种矢量场;磁场在空间里的
  • 大规模杀伤性武器大规模杀伤性武器(英文:Weapon of Mass Destruction,缩写:WMD)又称大规模毁灭性武器或者核生化武器,是大规模范围屠杀及破坏毁灭的区域战略武器,针对的目标不一定局限于特定军队及
  • 樱桃典型樱亚属 Cerasus Subgen. Cerasus 矮生樱亚属 Cerasus Microcerasus.Lithocerasus樱桃(学名:Cerasus pseudocerasus),是某些李属植物的统称,包括典型樱亚属(Cerasus)和矮生樱亚
  • 免疫网络理论免疫网络学说是1974年以来,Niels Jerne和Geoffrey W. Hoffmann发展的一个学说,用来解释适应性免疫系统的运作原理。此理论认为,免疫系统是由拥有可变区域的淋巴球和分子所构成
  • 化学纤维人造纤维,又称化学纤维,简称化纤,指各式各样的化学合成纤维,属于塑料。包括但不限于聚酯、尼龙、Spandex等。以物理力量把化学物质迫过小孔,形成极幼的纤维条。人造纤维是经过化
  • 国防工业‎韩国国防工业或称军需产业(韩语:대한민국의 군수산업)起步较晚但发展迅猛:2。20世纪90年代前中期,韩国已经能够自己生产大部分武器装备,从90年代末开始能开发和生产部分高精度的
  • 五硫化二锑五硫化二锑是一种锑和硫生成的化合物,不同于三硫化二锑,是一种非整比化合物,为深橙黄色粉末,不溶于水,常用于橡胶工业和制作兽药。可以用全硫代锑酸盐加酸来制备它。但是无法证明
  • 朗道理论物理研究所坐标:55°42′32″N 37°34′34″E / 55.7090°N 37.5762°E / 55.7090; 37.5762朗道理论物理研究所(俄语:Институт теоретической физики им.
  • 电子哨兵电子哨兵是指综合集成监控、防护、报警、通信、执勤信息管理等子系统,借助视频监控、智能报警和电子防护等功能实现对目标的有效防范,对危害目标安全情况能有效处置,既可单独遂