Task: Question Generation
Input (Chinese): 周以真（英文名Jeannette M. Wing，），美国计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代换原则，是面向对象基本原则之一。1979年6月在麻省理工学院获得学士和硕士学位，导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基梅隆大学。2004—2007年间，曾担任该校计算机系主任。2006年3月，在美国计算机权威期刊《Communications of the ACM》杂志上给出，并定义的计算思维（Computational Thinking）。认为：计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。周以真教授曾担任卡内基—梅隆大学计算机学院院长、美国国家科学院计算机科学与通讯部门主席、美国国防部高级研究计划署（DARPA）信息科学与技术委员会、美国国家科学基金科学顾问委员会以及Sloan 研究基金程序委员会的成员。2007年她出任美国国家科学基金会（NSF）计算机与信息科学与工程部（CISE）副部长，负责管理NSF在信息科学和计算机研究领域的基金。CISE每年的预算高达5.27亿美元，占整个美国联邦政府对计算机科学研究资助经费的86％。
Output (Chinese): 1993年周以真与利斯科夫合作提出了什么原则？