周以真

周以真，2013年。

周以真（英文名Jeannette M. Wing，），美国计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。

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

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

1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基梅隆大学。2004—2007年间，曾担任该校计算机系主任。

主要著作 [编辑]

J. M. Wing, J. C. P. Woodcock, and J. Davies (eds.), Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Springer-Verlag, LNCS 1708 (Volume I) and 1709 (Volume II), 1999.
U. Martin and J. M. Wing (eds.), Proceedings of the First International Workshop on Larch, Springer-Verlag, Workshops in Computing Series, 1993.
J. V. Guttag and J. J. Horning (eds.) with S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing, Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.