周以真（美国计算机科学家）

周以真

美国计算机科学家

周以真(英文名JeannetteM.Wing，)，美国计算机科学家。卡内基-梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。1979年获得麻省理工学院（MIT）的电子工程和计算机科学学士和硕士学位，1983年获得MIT计算机科学的博士学位。

简介

她的主要研究领域是形式方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代换原则，是面向对象基本原则之一。

1979年6月在麻省理工学院获得学士和硕士学位，导师中有图灵奖得主RonaldRivest。1983年获得该校的博士学位。

1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基-梅隆大学。2004—2007年间，曾担任该校计算机系主任。2006年3月，美国卡内基·梅隆大学计算机科学系主任周以真（JeannetteM.Wing）教授在美国计算机权威期刊《CommunicationsoftheACM》杂志上给出，并定义的计算思维（ComputationalThinking）。周教授认为：计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。

主要著作

J.M.Wing,J.C.P.Woodcock,andJ.Davies(eds.),ProceedingsofFM'99:FirstWorldCongressonFormalMethodsintheDevelopmentofComputingSystems,Toulouse,France,Springer-Verlag,LNCS1708(VolumeI)and1709(VolumeII),1999.

U.MartinandJ.M.Wing(eds.),ProceedingsoftheFirstInternationalWorkshoponLarch,Springer-Verlag,WorkshopsinComputingSeries,1993.

J.V.GuttagandJ.J.Horning(eds.)withS.J.Garland,K.D.Jones,A.Modet,andJ.M.Wing,Larch:LanguagesandToolsforFormalSpecification,Springer-Verlag,1993.

参考资料

1.记女科学家周以真：倡导计算思维闻名于世·科学网