周以真

周以真  是一位美國華人計算機科學家 。 卡內基梅隆大學教授 。 美國國家自然基金會計算與信息科學工程部助理部長 。 ACM和IEEE會士 。 她的主要研究領域是形式化方法 、 可信計算 、 分佈式系統 、 編程語言等 。 1993年她與圖靈獎得主芭芭拉 · 利斯科夫合作 ， 提出了著名的Liskov代換原則 ， 是面向對象基本原則之一 。