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

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

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

周以真于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人。

参考资料：

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

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

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

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