周以真 周以真英語Jeannette M Wing是一位美国华人计算机科学家卡内基梅隆大学教授美国国家自然基金会计算与信息科学工程部助理部长ACM和IEEE会士她的主要研究领域是形式化方法可信计算分布式系统编程语言等年她与图灵奖得主芭芭拉利斯科夫合作提出了著名的Liskov代換原則是物件導向程式設計基本原则之一