人物履歷
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é)教授。
研究領(lǐng)域
周以真的主要研究領(lǐng)域是形式方法、可信計(jì)算、分布式系統(tǒng)、編程語言等。1993年她與圖靈獎(jiǎng)得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是面向?qū)ο蠡驹瓌t之一。
主要著作
J. M. Wing, J. C. P. Woodcock, and J. Davies (eds.), , Toulouse, France, Springer-Verlag, LNCS1708 (Volume I) and 1709 (Volume II), 1999.
U. Martinand J. M. Wing (eds.), , Springer-Verlag, Workshops in Computing Series, 1993.
J. V. Guttagand J. J. Horning(eds.) with S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing, , Springer-Verlag, 1993.
