要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了着名的Liskov代换原则，是面向对象基本原则之一。
生平.1979年6月在麻省理工学院获得学士和硕士学位，导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基梅隆大学。2004—2007年间，曾担任该校计算机系主任。2006年3月，在美国计算机权威期刊《Communic