周以真
美國計算機科學家
周以真(英文名Jeannette M. Wing),美國計算機科學家。卡內基-梅隆大學教授,美國國家自然基金會計算與信息科學工程部助理部長,ACM和IEEE會士。現為哥倫比亞大學數據科學研究院主任、計算機科學教授,其長期研究興趣主要集中於網路安全、數據隱私以及人工智慧。
1979年6月在麻省理工學院獲得學士和碩士學位,導師中有圖靈獎得主Ronald Rivest。1983年獲得該校的博士學位。
周以真人物圖片
1983—1985年,在南加州大學任助理教授。1985年起,任教於卡內基-梅隆大學。
1993年她與圖靈獎得主芭芭拉·利斯科夫合作,提出了著名的Liskov代換原則,是面向對象基本原則之一。
2004—2007年間,曾擔任該校計算機系主任。
2006年3月,美國卡內基·梅隆大學計算機科學系主任周以真(Jeannette M. Wing)教授在美國計算機權威期刊《Communications of the ACM》雜誌上給出,並定義的計算思維(Computational Thinking)。周教授認為:計算思維是運用計算機科學的基礎概念進行問題求解、系統設計、以及人類行為理解等涵蓋計算機科學之廣度的一系列思維活動。
2012年,在微軟亞太教育峰會上,周以真教授分享了對計算思維的看法。她表示,“計算性思維能夠將一個問題清晰、抽象地描述出來,並將問題的解決方案表示為一個信息處理的流程。”
2013年,周以真加盟微軟,擔任微軟全球副總裁兼微軟研究院海外負責人,負責微軟除美國本土以外所有研究院的工作。4年以後,她又重新回到學術圈,加入哥倫比亞大學擔任數據科學研究院主任,任職計算機科學教授。
2021年8月,哥大校長李·博林格宣布,將任命數據科學研究所Avanessians所長、計算機科學教授周以真為下一任常務副校長。她將於9月1日正式履新,總管紐約主校區和全球各附屬機構的科研事務。上任時,她將成為哥大首位華裔女副校長。
作品名稱 | 出版時間 | 出版社 | 作者 |
Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing Systems | 1999 | Springer-Verlag | J. M. Wing、J. C. P. Woodcock、J. Davies (eds.) |
Proceedings of the First International Workshop on Larch | 1993 | Springer-Verlag | U. Martinand J. M. Wing (eds.) |
A. Modet, and J. M. Wing, Larch: Languages and Tools for Formal Specification | 1993 | Springer-Verlag | J. V. Guttagand J. J. Horning(eds.)、 S. J. Garland, K. D. Jones |