周以真
擔(dān)任學(xué)術(shù)職務(wù)
周以真教授曾擔(dān)任卡內(nèi)基—梅隆大學(xué)計(jì)算機(jī)學(xué)院院長(zhǎng)、美國(guó)國(guó)家科學(xué)院計(jì)算機(jī)科學(xué)與通訊部門(mén)主席、美國(guó)國(guó)防部高級(jí)研究計(jì)劃署(DARPA)信息科學(xué)與技術(shù)委員會(huì)、美國(guó)國(guó)家科學(xué)基金科學(xué)顧問(wèn)委員會(huì)以及Sloan 研究基金程序委員會(huì)的成員。2007年她出任美國(guó)國(guó)家科學(xué)基金會(huì)(NSF)計(jì)算機(jī)與信息科學(xué)與工程部(CISE)副部長(zhǎng),負(fù)責(zé)管理NSF在信息科學(xué)和計(jì)算機(jī)研究領(lǐng)域的基金。CISE每年的預(yù)算高達(dá)5.27億美元,占整個(gè)美國(guó)對(duì)計(jì)算機(jī)科學(xué)研究資助經(jīng)費(fèi)的86%。
評(píng)價(jià)
卡內(nèi)基梅隆大學(xué)的校長(zhǎng)Jared L Cohon評(píng)價(jià)說(shuō):“周以真是當(dāng)今世界上最有創(chuàng)新精神、最具原創(chuàng)力的計(jì)算機(jī)科學(xué)家之一。她在科研、教學(xué)和行政上均作出了重大貢獻(xiàn)。NSF不可能找到一個(gè)比周以真更好的人選?!?/span>
微軟同樣認(rèn)為周以真的工作經(jīng)驗(yàn)和文憑“無(wú)可挑剔”。
主要著作
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
記女科學(xué)家周以真:倡導(dǎo)計(jì)算思維聞名于世
免責(zé)聲明:以上內(nèi)容版權(quán)歸原作者所有,如有侵犯您的原創(chuàng)版權(quán)請(qǐng)告知,我們將盡快刪除相關(guān)內(nèi)容。感謝每一位辛勤著寫(xiě)的作者,感謝每一位的分享。
相關(guān)資料
- 有價(jià)值
- 一般般
- 沒(méi)價(jià)值
{{item.userName}} 舉報(bào)
{{item.time}} {{item.replyListShow ? '收起' : '展開(kāi)'}}評(píng)論 {{curReplyId == item.id ? '取消回復(fù)' : '回復(fù)'}}
{{_reply.userName}} 舉報(bào)
{{_reply.time}}