周以真

周以真，美國計算機科學家。卡內基-梅隆大學教授。美國國家自然基金會計算與信息科學工程部助理部長。ACM和IEEE會士。主要研究領域是形式方法、可信計算、分散式系統、程式語言等。

周以真（英文名Jeannette M. Wing，），美國計算機科學家。卡內基-梅隆大學教授。美國國家自然基金會計算與信息科學工程部助理部長。ACM和IEEE會士。
她的主要研究領域是形式方法、可信計算、分散式系統、程式語言等。1993年她與圖靈獎得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是面向對象基本原則之一。
1979年6月在麻省理工學院獲得學士和碩士學位，導師中有圖靈獎得主Ronald Rivest。1983年獲得該校的博士學位。
1983—1985年，在南加州大學任助理教授。1985年起，任教於卡內基-梅隆大學。2004—2007年間，曾擔任該校計算機系主任。 2006年3月，美國卡內基·梅隆大學計算機科學系主任周以真（Jeannette M. Wing）教授在美國計算機權威期刊《Communications of the ACM》雜誌上給出，並定義的計算思維（Computational Thinking）。周教授認為：計算思維是運用計算機科學的基礎概念進行問題求解、系統設計、以及人類行為理解等涵蓋計算機科學之廣度的一系列思維活動。

主要著作

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, LNCS1708 (Volume I) and 1709 (Volume II), 1999.
U. Martinand J. M. Wing (eds.), Proceedings of the First International Workshop on Larch, Springer-Verlag, Workshops in Computing Series, 1993.
J. V. Guttagand 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.