周以真

✍ dations ◷ 2024-12-22 21:30:00 #生年不详,在世人物,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%。

相关

  • 乳糜泻乳糜泻(英语:coeliac disease 或 celiac disease)是主要会影响到小肠的长期自身免疫性疾病。典型的症状包含胃肠道症状,像是慢性腹泻、腹胀、吸收不良(英语:malabsorption)、降低食
  • 医病关系医患关系、医病关系(英文:Doctor-Patient Relationship)是指医生和病人之间的互动,在现代医学伦理的概念中,是医生与病人之间的信赖合作之基础。大多数医生从实习开始,甚至是进入
  • 世界自然保护联盟红色名录国际自然保护联盟濒危物种红色名录(或称IUCN红色名录,简称红皮书)于1963年开始编制,是全球动植物物种保护现状最全面的名录。此名录由国际自然保护联盟编制及维护。IUCN红色名录
  • 软流层软流圈(Asthenosphere)是地球地幔的一部分弱塑性变形区域,位于岩石圈的下面、中间圈的上面,其软流圈下界在地表以下180-220km深处。岩石圈与软流圈的边界,定义在1300°C等温线。
  • 首里首里(琉球语:首里/スイ Sjui ?;日语:首里/しゅり Shuri)是日本冲绳县那霸市内东北部的一个地区。首里过去曾经是琉球国的首都,国王的居城首里城便位于首里之内。首里城以外的区域
  • 图书管理员图书馆员是负责图书馆运营的专业人员,其工作包括对馆藏资源的采购、加工、描述、流通(借还)、分析报导、点算书籍、盘点书本、检查书籍、把书本排列好次序、上书、帮忙读者寻找
  • 周昌弘总统府奖章(1982)、世界科学院院士(1993)、日本创价大学最高荣誉赏(2003)、国际植物化感基金会颁终身成就奖(2009) 中国生物学会生物科学终身贡献奖(2013)、中华植物学会终
  • 黎逸府黎逸府(泰语:จังหวัดร้อยเอ็ด,皇家转写:Changwat Roi Et,泰语发音:),一译横逸府,是泰国的东北部的一个府。黎逸府在古代时期曾为一个很繁荣的大城市,后因水灾而荒芜。
  • 形态分析法形态分析法(Morphological analysis)指数种根据形态学进行分析的方法,其方法随各领域对形态学的定义而异:
  • 杰克南瓜灯杰克南瓜灯(英语:Jack-o'-lantern 或 Jack O'Lantern),通常以甜菜或南瓜雕成一个有盖子和洞的灯笼,洞的图案通常是像怪物般的脸,在万圣夜的时候放进点燃的蜡烛。其字源来自。雕刻