利斯科夫替换原则于1993年与芭芭拉·利斯科夫共同开发，至今仍是对软件工程方法论的基础性贡献。珍妮特·温格（Jeannette Wing）于1956年出生于纽瓦克，数十年间一直在弥合理论计算机科学与工业应用之间的鸿沟。她的职业生涯横跨学术界、政府政策和企业研究实验室，主要专注于编程语言和形式化方法。
学术基础与研究
温格于1979年6月在罗纳德·里维斯特和约翰·赖泽的指导下，在麻省理工学院完成了电气工程和计算机科学的本科和硕士学业。她于1983年在同一机构获得计算机科学博士学位，导师为约翰·古塔格。她早期的教职包括1982年至1985年在南加州大学任教，随后于1985年至2012年在卡内基梅隆大学任职。在卡内基梅隆大学期间，她曾于2004年至2007年和2010年至2012年两个时期担任计算机科学系主任。
公共政策与企业领导力
除了大学研究之外，温格还担任过有影响力的行政职务。2007年至2010年期间，她担任美国国家科学基金会计算机与信息科学和工程学部助理主任。2013年1月，她转入私营部门，担任微软研究院全球副总裁，管理全球实验室和研究合作，直至2017年6月30日。此后，她成为哥伦比亚大学数据科学研究所的阿瓦内斯扬斯主任，并于2021年9月1日被任命为该校的研究执行副校长。
对计算思维的贡献
温格因倡导计算思维而受到认可，该思维涉及将计算机科学中常见的算法抽象技术应用于各个学科。她在形式化方法领域的工作，特别是关于Larch的工作，对编程方法论产生了重大影响。她担任过众多编辑委员会成员，包括《ACM期刊》（Journal of the ACM）和《系统设计中的形式化方法》（Formal Methods in System Design）。她获得的专业荣誉包括1998年成为ACM会士、2003年成为IEEE会士，并因在可信计算和形式化方法方面的工作于2024年当选为美国国家工程院院士。
快速事实
- 出生：1956年，纽瓦克 - 教育背景：麻省理工学院 - 主要领域：计算机科学、人工智能、编程语言 - 主要职务：哥伦比亚大学研究执行副校长 - 重要成果：利斯科夫替换原则（1993年） - ACM会士：1998年 - IEEE会士：2003年 - 个人爱好：唐手道四段黑带
读者提问
### 什么是利斯科夫替换原则？
它于1993年与芭芭拉·利斯科夫共同提出，是编程方法论中的一个概念，涉及如何使用子类对象替换超类对象而不改变程序的正确性。
### 珍妮特·温格所说的计算思维是什么意思？
它指的是表达计算机科学家使用的解决问题技术和算法抽象的过程，以便将其应用于其他学术和实际学科的研究与任务中。
