分享到微博 分享到人人 分享到LinkedIn 分享到Email
周以真(Jeannette Wing)

微软全球资深副总裁

微软研究院

周以真博士是微软全球资深副总裁,全面负责微软研究院旗下全球核心研究院(MSR Labs)及学术合作部(MSR Outreach)的工作。微软研究院致力于推动整个计算机科学领域的前沿技术发展,并将最新研究成果快速转化到微软产品中。

周以真博士于2013年1月加入微软研究院。在此之前,她曾在卡内基梅隆大学以及美国国家科学基金会(NSF)等政府及学术机构担任要职。

2007年至2010年,周以真博士曾在美国国家科学基金会下设的计算机与信息科学和工程局担任助理局长,负责美国计算机学术研究项目的基金资助事宜。在此期间,她与同事一起,代表全美计算机科学界,确定优先资助的科学和工程学研究方向,同时开发新的科研项目。在美国国家科学基金会任职的前后,周以真博士曾两度担任卡内基梅隆大学计算机科学系主任。此外,她还曾在卡内基梅隆大学担任计算机科学系副主任五年,全面负责计算机科学系的教学工作和学术事务。

周以真博士的研究范围包括可信计算、形式化方法、并行和分布式系统、编程语言以及软件工程等领域。她的研究贡献包括Larch家族中的规范语言、分布式事务处理中原子型(atomic objects)的编程语言支持,与Maurice Herlihy博士共同完成的线性一致性(linearizability)概念:并发对象(concurrent objects)的正确条件,以及与Barbara Liskov博士共同研究的里氏替换原则(behavioral subtyping)的语义学。她在安全与隐私领域的贡献包括攻击图与攻击范围(attack graphs and attack surfaces)研究、自动合规检查(automated compliance checking)的形式化隐私政策、以及人类与计算机网络的信任研究。

周以真博士因提出并倡导“计算思维”而享誉计算机科学界。计算思维是一种运用计算机科学的基本概念解决问题,设计系统,以及理解人类行为的思维方式。在她看来,“计算思维是一种普适思维方法和基本技能,所有人都应该积极学习并使用,而非仅限于计算机科学家。”周以真博士是卡内基梅隆大学计算思维中心的创始人和负责人。

在卡内基梅隆大学工作之前,周以真博士曾在南加州大学任教两年。在学生时代,她曾在贝尔实验室和施乐帕克研究中心工作。她还曾在麻省理工学院和微软雷德蒙研究院进行学术休假。她于2011年获得“CRA杰出服务奖”,于2012年获得SIGSOFT 优秀论文奖(Retrospective Paper Award)。周以真博士还是美国艺术与科学研究院院士、美国科学进步协会院士、美国计算机协会院士(ACM Fellow)以及电气与电子工程师学会院士(IEEE Fellow)。

周以真博士持有麻省理工学院理学学士、硕士和博士学位。