周以真

周以真（英語：Jeannette M. Wing，）是一位美國華人計算機科學家。卡內基梅隆大學教授。美國國家自然基金會計算與信息科學工程部助理部長。ACM和IEEE會士。她的主要研究領域是形式化方法、可信計算、分布式系統、編程語言等。1993年她與圖靈獎得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是物件導向程式設計基本原則之一。

周以真 Jeannette Wing
周以真的演講，在瑞士達沃斯的世界經濟論壇會議 , 2013年1月26日.
國籍	美國
母校	麻省理工學院
科學生涯
研究領域	計算機科學
機構	南加州大學 卡內基梅隆大學 哥倫比亞大學
博士導師	John Guttag

生平

1979年6月在麻省理工學院獲得學士和碩士學位，導師中有圖靈獎得主Ronald Rivest。1983年獲得麻省理工學院的博士學位。1983年加入南加州大學擔任助理教授。1985年任教於卡內基梅隆大學。2004—2007年間，曾擔任該校計算機系主任。2006年3月，在美國計算機權威期刊《ACM通訊》雜誌上給出，並定義的計算思維。認為：計算思維是運用計算機科學的基礎概念進行問題求解、系統設計、以及人類行為理解等涵蓋計算機科學之廣度的一系列思維活動。2021年9月1日擔任哥倫比亞大學常務副校長，也是該校歷史上首位華裔女副校長。

擔任學術職務

周以真教授曾擔任卡內基—梅隆大學計算機學院院長、美國國家科學院計算機科學與通訊部門主席、美國國防部國防高等研究計劃署信息科學與技術委員會、美國國家科學基金科學顧問委員會以及Sloan 研究基金程序委員會的成員。2007年她出任美國國家科學基金會（NSF）計算機與信息科學與工程部（CISE）副部長，負責管理NSF在信息科學和計算機研究領域的基金。CISE每年的預算高達5.27億美元，占整個美國聯邦政府對計算機科學研究資助經費的86％。

評價

• 卡內基梅隆大學的校長Jared L Cohon評價說：「周以真是當今世界上最有創新精神、最具原創力的計算機科學家之一。她在科研、教學和行政上均作出了重大貢獻。NSF不可能找到一個比周以真更好的人選。」
• 微軟同樣認為周以真的工作經驗和文憑「無可挑剔」。

主要著作

• 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.

外部連結

• Jeannette M. Wing home page（頁面存檔備份，存於網際網路檔案館）
• [1]Q&A With: Jeannette Wing By Lauren Aaronson
• 記女科學家周以真：倡導計算思維聞名於世（頁面存檔備份，存於網際網路檔案館）