周以真

✍ dations ◷ 2025-04-04 22:48:44 #生年不详,在世人物,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%。

相关

  • 存在图存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在1882年写了第一篇关于图形逻辑的论文,并持续开发这种方法直到1914年他故去。皮尔士提出了三个存在
  • 潟湖潟湖是一种因为海湾被沙洲所封闭而演变成的湖泊,所以一般都在海边。这些湖本来都是海湾,后来在海湾的出海口处由于泥沙沉积,使出海口形成了沙洲,继而将海湾与海洋分隔,因而成为湖
  • 树状图树状结构(英语:Tree structure),又译树形结构,或称树状图(tree diagram)是一种将层次结构式的构造性质,以图象方式表现出来的方法。它的名称来自于以树的象征来表现出构造之间的关系
  • 酷热指数酷热指数(Heat Index)是一种综合空气温度和相对湿度来确定体感温度的指数──即真正感受到的热度。人体通过排出汗液来达到降温的目的,在这个过程里汗液中的水分得以蒸发并且从
  • 农牧渔业部中华人民共和国农牧渔业部是于1982年5月4日,根据第五届全国人大常委会第二十三次会议批准的国务院部委机构改革实施方案,农业部、农垦部、国家水产总局合并,设置农牧渔业部。19
  • 塞班岛级塞班岛级航空母舰包括两艘轻型航母塞班岛号航空母舰(CVL-48 Saipan)和莱特号航空母舰(CVL-49 Wright),在二战期间建造。和“独立级航空母舰”一样,“塞班岛级航空母舰”也是由
  • 负鼠目负鼠目(学名:Didelphimorphia)是脊索动物门哺乳纲的一目,属于美洲有袋总目,目前仅包含负鼠科一科,大部分生活在南美洲,只有北美负鼠生活在北美洲。
  • 托马什·莫蒂卡托马什·莫蒂卡(波兰语:Tomasz Marek Motyka,1981年5月8日-)生于华沙,是一名波兰男子击剑运动员,主攻重剑。他曾参加2008年夏季奥林匹克运动会,在男子团体重剑项目上获得一枚银牌。
  • 微架构微架构(英语:microarchitecture),也被叫做计算机组织,微架构使得指令集架构(ISA)可以在处理器上被运行。指令集架构可以在不同的微架构上运行。计算机结构是一门探讨微架构与指令集
  • 黄和联黄和联(马来语:Wong Ho Leng,1959年12月21日-2014年6月21日),是一位马来西亚政治人物。他是前诗巫国会选区(P.212)国会议员 兼砂拉越州武吉亚瑟选区(N.45)州立法议员。此外,他也曾是马