周以真

美国计算机科学家

周以真

周以真（英文名：Jeannette Wing），哥伦比亚大学常务副校长、计算机科学系教授[1]。毕业于美国麻省理工学院（MIT），师从图灵奖得主罗纳德·李维斯特（Ronald Rivest）。毕业之后她历任微软全球资深副总裁（负责微软研究院的全球核心研究机构）、卡耐基梅隆大学计算机科学系主任、美国国家科学基金会计算机、信息科学与工程部副主任等职务[2]。2006年，周以真在美国计算机权威期刊《Communications of the ACM》上发表了题为《Computational Thinking》的论文，定义了计算思维：计算思维是运用计算机科学的基本理念，进行问题求解，系统设计以及理解人类行为[3]。这一理念推动了计算机科学在全球教育领域的发展[2]。2007年至2012年，周以真任微软-卡内基梅隆计算思维中心主任。[0]2017年任哥伦比亚大学计算机科学教授[0]，2021年9月任哥伦比亚大学常务副校长[4]，2024年2月，周以真当选为美国国家工程院院士。[5]

周以真（英文名：Jeannette Wing），哥伦比亚大学常务副校长、计算机科学系教授[2]。毕业于美国麻省理工学院（MIT），师从图灵奖得主罗纳德·李维斯特（Ronald Rivest）。毕业之后她历任微软全球资深副总裁（负责微软研究院的全球核心研究机构）、卡耐基梅隆大学计算机科学系主任、美国国家科学基金会计算机、信息科学与工程部副主任等职务[3]。

2006年，周以真在美国计算机权威期刊《Communications of the ACM》上发表了题为《Computational Thinking》的论文，定义了计算思维：计算思维是运用计算机科学的基本理念，进行问题求解，系统设计以及理解人类行为[4]。这一理念推动了计算机科学在全球教育领域的发展[3]。2007年至2012年，周以真任微软-卡内基梅隆计算思维中心主任。[1]2017年任哥伦比亚大学计算机科学教授[1]，2021年9月任哥伦比亚大学常务副校长[5]，2024年2月，周以真当选为美国国家工程院院士。[6]

周以真的主要研究领域是形式方法、可信计算、分布式系统、编程语言等，其长期研究兴趣主要集中于网络安全、数据隐私以及人工智能[7]。

人物经历

周以真于1979年6月在麻省理工学院获得学士和硕士学位，1983年获得麻省理工学院的博士学位。

1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基-梅隆大学。

1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代换原则，是面向对象基本原则之一。

2004—2007年间，曾担任该校计算机系主任。

2006年3月，美国卡内基·梅隆大学计算机科学系主任周以真（Jeannette M. Wing）教授在美国计算机权威期刊《Communications of the ACM》杂志上给出，并定义的计算思维（Computational Thinking）。周教授认为：计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。

2012年，在微软亚太教育峰会上，周以真教授分享了对计算思维的看法。她表示，“计算性思维能够将一个问题清晰、抽象地描述出来，并将问题的解决方案表示为一个信息处理的流程。”

2013年，周以真加盟微软，担任微软全球副总裁兼微软研究院海外负责人，负责微软除美国本土以外所有研究院的工作。4年以后，她又重新回到学术圈，加入哥伦比亚大学担任数据科学研究院主任，任职计算机科学教授。

2017年起，任哥伦比亚大学数据科学研究院主任及计算机科学教授。

周以真人物图片
周以真人物图片

主要研究

周以真在计算机科学领域有多项研究成果，包括与芭芭拉·利斯科夫合作提出的Liskov代换原则，以及在计算思维领域的贡献。她在《Communications of the ACM》杂志上发表的文章中定义了计算思维，并将其推广至计算机科学以外的领域。

社会任职

周以真曾担任多个学术和研究机构的职务，包括卡内基-梅隆大学计算机学院院长、美国国家科学院计算机科学与通讯部门主席、美国国防部国防高等研究计划署信息科学与技术委员会、美国国家科学基金科学顾问委员会以及Sloan研究基金程序委员会的成员。

人才培养

据哥伦比亚大学官网数据，截至2024年6月，周以真指导在读博士研究生1人、本科生4人，已指导毕业博士研究生16人、硕士研究生8人、本科生4人。[8]

讲授课程

时间名称授课对象1990Advanced Topics in Formal Methods研究生1995、1996、2001Analysis of Software Artifacts研究生1997~1999Security and Cryptography研究生1998Software Engineering本科生2000Methods of Software Development研究生2000~2002Principles of Programming本科生2004Software Security研究生2005~2006Models of Software Systems研究生2011Privacy Research Seminar研究生2012Functional Programming本科生2019Privacy-Preseeving Technologies研究生

参考资料：[8]

主要作品

作品名称出版时间出版社作者《Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing Systems》1999Springer-VerlagJ. M. Wing、J. C. P. Woodcock、J. Davies (eds.)《Proceedings of the First International Workshop on Larch》1993Springer-VerlagU. Martinand J. M. Wing (eds.)《A. Modet, and J. M. Wing, Larch: Languages and Tools for Formal Specification》1993Springer-VerlagJ. V. Guttagand J. J. Horning(eds.)、 S. J. Garland, K. D. Jones

荣誉

时间荣誉
1998年 美国计算机协会会士[1]
2003年电气与电子工程师协会会士[1]
2005年宾夕法尼亚州西南部妇女和女孩基金会妇女科学奖[1]
2007年美国科学促进会会士[1]
2008年宾夕法尼亚州杰出女儿[1]
2010年美国艺术与科学院院士[1]
2011年计算研究协会杰出服务奖[1]
2012年SIGSOFT回顾论文奖[1]
2014年计算机协会杰出服务奖[1]
2017年微软高管简报中心英雄奖[1]
2018年哥伦比亚牙科医学院Birnberg研究奖章[1]
2020年5月瑞典林雪平大学荣誉技术博士[1]
2020年约克大学计算机科学系计算机科学英雄[1]
2022年美国国家发明家科学院院士[1]
2024年美国国家工程院院士[1]

人物评价

周以真在计算机科学领域颇具影响力，她的研究涵盖网络安全与隐私、形式方法、编程语言等。她发表的《Computational Thinking》一文，强调了计算机科学对各学科问题解决的重要性，对全球院校课程设置产生了深远影响。[9]（哥伦比亚大学评）

周以真是以倡导计算思维而闻名于世。[10]（《中国科学报》评）

“周以真是当今世界上最有创新精神、最具原创力的计算机科学家之一。她在科研、教学和行政上均作出了重大贡献。NSF不可能找到一个比周以真更好的人选。”而新东家微软同样认为周以真的工作经验和文凭“无可挑剔”。[10]（时任卡内基—梅隆大学的校长Jared L Cohon评）

周以真是计算机科学研究与教育领域的先行者。[11]（时任哥伦比亚大学校长李·卡罗尔·布林格评）

参考资料 11

  1. Jeannette M. Wing — https://www.cs.columbia.edu
  2. 新闻快讯|哥伦比亚大学常务副校长周以真:发展人工智能需构建可信系统的标准方法 — 微信公众平台
  3. 监管哥伦比亚大学10亿美元科研项目，这位华裔女副校长不一般 — 微信公众平台
  4. CICC科普栏目|如何理解“计算思维”? — 微信公众平台
  5. “她”力量时代:国际视阈下的女性领导力 — 凤凰网凤凰影音
  6. 2024年美国工程院新增院士公布，黄仁勋、周以真、清华黄翊东等人上榜 — 腾讯网
  7. ACM与IEEE双Fellow、华人女计算机科学家周以真:可信 AI，未来可期 — 微信公众平台
  8. Jeannette M. Wing — Columbia University
  9. Jeannette Wing — 哥伦比亚大学
  10. 记女科学家周以真:倡导计算思维闻名于世 — 科学网
  11. PresidentBollingerNamesMicrosoftResearchHeadJeannetteWingtoLeadColumbia’sDataScienceInstitute — 哥伦比亚大学
广告位：底部（ad-bottom）—— 请到中台「公共区块」编辑此内容