Barbara Liskov, ngôn ngữ lập trình, giải thưởng Turing, khoa học máy tính, trừu tượng hóa dữ liệu, lập trình hướng đối tượng, hệ thống phân tán, nữ khoa học.