周以真

人物經(jīng)歷

1979年6月在麻省理工學(xué)院獲得學(xué)士和碩士學(xué)位，導(dǎo)師中有圖靈獎(jiǎng)得主Ronald Rivest。1983年獲得該校的博士學(xué)位。1983—1985年，在南加州大學(xué)任助理教授。1985年起，任教于卡內(nèi)基-梅隆大學(xué)。2004—2007年間，曾擔(dān)任該校計(jì)算機(jī)系主任。2017年，任哥倫比亞大學(xué)數(shù)據(jù)科學(xué)研究院主任及計(jì)算機(jī)科學(xué)教授。2021年9月1日，總管哥倫比亞大學(xué)紐約主校區(qū)和全球各附屬機(jī)構(gòu)的科研事務(wù)。

主要著作

出版時(shí)間書名作者出版地1999Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing SystemsJ. M. Wing；J. C. P. Woodcock；J. DaviesToulouse, France1993Proceedings of the First International Workshop on LarchU. Martinand；J. M. Wing；Springer-Verlag1993Larch: Languages and Tools for Formal SpecificationJ. V. Guttagand， J. J. Horning，S. J. Garland，K. D. Jones，A. Modet，J. M. Wing，Springer-Verlag

研究領(lǐng)域

周以真的主要研究領(lǐng)域是形式方法、可信計(jì)算、分布式系統(tǒng)、編程語言等。1993年她與圖靈獎(jiǎng)得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是面向?qū)ο蠡驹瓌t之一。