周以真（英文名：Jeannette Wing），哥倫比亞大學(xué)常務(wù)副校長、計算機科學(xué)系教授。畢業(yè)于麻省理工學(xué)院（MIT），師從圖靈獎得主羅納德·李維斯特（Ronald Rivest）。畢業(yè)之后她歷任微軟全球資深副總裁（負責微軟研究院的全球核心研究機構(gòu)）、卡耐基·梅隆大學(xué)計算機科學(xué)系主任、美國國家科學(xué)基金會計算機、信息科學(xué)與工程部副主任等職務(wù)。
2006年，周以真在美國計算機權(quán)威期刊《Communications of the ACM》上發(fā)表了題為《Computational Thinking》的論文，定義了計算思維：計算思維是運用計算機科學(xué)的基本理念，進行問題求解，系統(tǒng)設(shè)計以及理解人類行為。這一理念推動了計算機科學(xué)在全球教育領(lǐng)域的發(fā)展。2007年至2012年，周以真任微軟卡內(nèi)基梅隆計算思維中心主任。2017年任哥倫比亞大學(xué)計算機科學(xué)教授，2021年9月任哥倫比亞大學(xué)常務(wù)副校長，2024年2月，周以真當選為美國國家工程院院士。
周以真的主要研究領(lǐng)域是形式方法、可信計算、分布式系統(tǒng)、編程語言等，其長期研究興趣主要集中于網(wǎng)絡(luò)安全、數(shù)據(jù)隱私以及人工智能。
人物經(jīng)歷
周以真于1979年6月在麻省理工學(xué)院獲得學(xué)士和碩士學(xué)位，1983年獲得麻省理工學(xué)院的博士學(xué)位。
1983—1985年，在南加利福尼亞大學(xué)任助理教授。1985年起，任教于卡耐基·梅隆大學(xué)。
1993年她與圖靈獎得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是面向?qū)ο蠡驹瓌t之一。
2004—2007年間，曾擔任該校計算機系主任。
2006年3月，美國卡內(nèi)基·梅隆大學(xué)計算機科學(xué)系主任周以真（Jeannette M. Wing）教授在美國計算機權(quán)威期刊《Communications of the ACM》雜志上給出，并定義的計算思維（Computational Thinking）。周教授認為：計算思維是運用計算機科學(xué)的基礎(chǔ)概念進行問題求解、系統(tǒng)設(shè)計、以及人類行為理解等涵蓋計算機科學(xué)之廣度的一系列思維活動。
2012年，在微軟亞太教育峰會上，周以真教授分享了對計算思維的看法。她表示，“計算性思維能夠?qū)⒁粋€問題清晰、抽象地描述出來，并將問題的解決方案表示為一個信息處理的流程。”
2013年，周以真加盟微軟，擔任微軟全球副總裁兼微軟研究院海外負責人，負責微軟除美國本土以外所有研究院的工作。4年以后，她又重新回到學(xué)術(shù)圈，加入哥倫比亞大學(xué)擔任數(shù)據(jù)科學(xué)研究院主任，任職計算機科學(xué)教授。
2017年起，任哥倫比亞大學(xué)數(shù)據(jù)科學(xué)研究院主任及計算機科學(xué)教授。
主要研究
周以真在計算機科學(xué)領(lǐng)域有多項研究成果，包括與芭芭拉·利斯科夫合作提出的Liskov代換原則，以及在計算思維領(lǐng)域的貢獻。她在《Communications of the ACM》雜志上發(fā)表的文章中定義了計算思維，并將其推廣至計算機科學(xué)以外的領(lǐng)域。
社會任職
周以真曾擔任多個學(xué)術(shù)和研究機構(gòu)的職務(wù)，包括卡耐基·梅隆大學(xué)計算機學(xué)院院長、美國國家科學(xué)院計算機科學(xué)與通訊部門主席、美國國防部國防高等研究計劃署信息科學(xué)與技術(shù)委員會、美國國家科學(xué)基金科學(xué)顧問委員會以及Sloan研究基金程序委員會的成員。
人才培養(yǎng)
據(jù)哥倫比亞大學(xué)官網(wǎng)數(shù)據(jù)，截至2024年6月，周以真指導(dǎo)在讀博士研究生1人、本科生4人，已指導(dǎo)畢業(yè)博士研究生16人、碩士研究生8人、本科生4人。
講授課程
參考資料：
主要作品
榮譽
人物評價
周以真在計算機科學(xué)領(lǐng)域頗具影響力，她的研究涵蓋網(wǎng)絡(luò)安全與隱私、形式方法、編程語言等。她發(fā)表的《Computational?Thinking》一文，強調(diào)了計算機科學(xué)對各學(xué)科問題解決的重要性，對全球院校課程設(shè)置產(chǎn)生了深遠影響。（哥倫比亞大學(xué)評）
周以真是以倡導(dǎo)計算思維而聞名于世。（《中國科學(xué)報》評）
“周以真是當今世界上最有創(chuàng)新精神、最具原創(chuàng)力的計算機科學(xué)家之一。她在科研、教學(xué)和行政上均作出了重大貢獻。NSF不可能找到一個比周以真更好的人選。”而新東家微軟同樣認為周以真的工作經(jīng)驗和文憑“無可挑剔”。（時任卡內(nèi)基—梅隆大學(xué)的校長Jared L Cohon評）
周以真是計算機科學(xué)研究與教育領(lǐng)域的先行者。（時任哥倫比亞大學(xué)校長李·布林格評）
參考資料 >
Jeannette M. Wing.https://www.cs.columbia.edu.2024-06-21
新聞快訊|哥倫比亞大學(xué)常務(wù)副校長周以真:發(fā)展人工智能需構(gòu)建可信系統(tǒng)的標準方法.微信公眾平臺.2024-03-21
監(jiān)管哥倫比亞大學(xué)10億美元科研項目，這位華裔女副校長不一般.微信公眾平臺.2024-03-21
CICC科普欄目|如何理解“計算思維”?.微信公眾平臺.2024-03-21
“她”力量時代:國際視閾下的女性領(lǐng)導(dǎo)力.鳳凰網(wǎng)鳳凰影音.2024-04-12
2024年美國工程院新增院士公布，黃仁勛、周以真、清華黃翊東等人上榜.騰訊網(wǎng).2024-04-11
ACM與IEEE雙Fellow、華人女計算機科學(xué)家周以真:可信 AI，未來可期.微信公眾平臺.2024-03-21
Jeannette M. Wing.Columbia University.2024-06-21
Jeannette Wing.哥倫比亞大學(xué).2024-04-11
記女科學(xué)家周以真:倡導(dǎo)計算思維聞名于世.科學(xué)網(wǎng).2024-04-11
PresidentBollingerNamesMicrosoftResearchHeadJeannetteWingtoLeadColumbia’sDataScienceInstitute.哥倫比亞大學(xué).2024-04-11