05/10/2026 · VietTechies · Biên tập
Năm 1961, Barbara Huberman tốt nghiệp cử nhân toán học tại Đại học California, Berkeley. Trong số tất cả sinh viên cùng chuyên ngành năm đó, bà chỉ có duy nhất một người bạn học là nữ. Với mong muốn tiếp tục con đường học thuật, bà nộp hồ sơ vào các chương trình cao học ngành toán, trong đó có Đại học Princeton. Tuy nhiên, Princeton đã từ chối hồ sơ vì khi đó khoa toán của trường chưa tiếp nhận sinh viên nữ. Tạm gạt bỏ toán học thuần túy, Huberman nhận lời làm việc tại MITRE Corporation ở Boston, nơi bà bắt đầu làm quen với lĩnh vực lập trình máy tính.
Từ Berkeley đến Stanford
Sau một năm gắn bó với MITRE Corporation và làm việc tại Đại học Harvard về dịch thuật ngôn ngữ máy tính, Huberman quyết định theo học cao học trong ngành khoa học máy tính còn rất mới mẻ. Bà nhập học tại Đại học Stanford và nghiên cứu dưới sự hướng dẫn của nhà tiên phong trong lĩnh vực trí tuệ nhân tạo John McCarthy. Vào tháng 3 năm 1968, Huberman trở thành một trong những người phụ nữ đầu tiên tại Hoa Kỳ nhận bằng tiến sĩ khoa học máy tính. Luận án tiến sĩ của bà nghiên cứu về các chương trình máy tính chơi cờ tàn, trong đó bà đã phát triển thuật toán killer heuristic (nước đi sát thủ)—một kỹ thuật sắp xếp nước đi giúp cắt tỉa cây quyết định một cách hiệu quả.
Xây dựng khái niệm kiểu dữ liệu trừu tượng
Khi chuyển sang Viện Công nghệ Massachusetts (MIT), bà—lúc này mang họ Liskov—bắt đầu tập trung vào phương pháp luận phần mềm và thiết kế ngôn ngữ lập trình. Ngày 28 tháng 3 năm 1974, bà cùng đồng tác giả Stephen Zilles xuất bản bài báo khoa học mang tên "Programming with abstract data types" (Lập trình với các kiểu dữ liệu trừu tượng). Công trình này định nghĩa cách chương trình đóng gói các cấu trúc dữ liệu phức tạp bên trong những giao diện xác định, giấu đi thông tin triển khai chi tiết bên trong đối với các mô-đun bên ngoài. Để minh họa các nguyên lý này trong thực tiễn phần mềm, Liskov đã tạo ra ngôn ngữ lập trình CLU trong thập niên 1970. Đến thập niên 1980, bà tiếp tục thiết kế Argus, một ngôn ngữ lập trình dành riêng cho các hệ thống phân tán. Argus đã thể hiện tiềm năng của kỹ thuật promise pipelining, cho phép các thành phần phần mềm phân tán xử lý các yêu cầu bất đồng bộ và duy trì tính nhất quán trên toàn mạng lưới.
Nguyên lý thế Liskov
Khi lập trình hướng đối tượng ngày càng phổ biến, các hệ thống phần mềm bắt đầu gặp rắc rối vì tính thừa kế lớp thiếu nhất quán. Liskov đã giải quyết thách thức này bằng cách đưa ra các tiêu chí chính thức cho khái niệm kiểu con theo hành vi (behavioral subtyping). Hợp tác cùng nhà khoa học máy tính Jeannette Wing, bà xuất bản bài báo "A behavioral notion of subtyping" vào năm 1994. Mô hình của họ, thường gọi là nguyên lý thế Liskov (Liskov substitution principle), quy định rằng các đối tượng thuộc kiểu con phải có khả năng thay thế cho các đối tượng thuộc kiểu cha mà không làm thay đổi tính đúng đắn hay các đặc tính của chương trình. Định nghĩa toán học này về sự tương thích hành vi đã trở thành trụ cột quan trọng của thiết kế hướng đối tượng, ảnh hưởng trực tiếp đến kiến trúc và quy chuẩn ngôn ngữ của nhiều ngôn ngữ lập trình hiện đại như Java, C++, C# và Ada.
Tôn vinh ở đỉnh cao sự nghiệp
Những đóng góp của Liskov đã mang lại cho bà những vinh quang cao quý nhất trong lĩnh vực tin học. Vào tháng 3 năm 2009, Hiệp hội Máy tính (ACM) đã trao cho bà Giải thưởng Turing năm 2008, ghi nhận bà là người phụ nữ thứ hai nhận giải thưởng danh giá này. Đến năm 2023, Viện Franklin trao tặng bà Huy chương Benjamin Franklin cho những đóng góp lớn đối với các ngôn ngữ và phương pháp luận lập trình. Hiện là Giáo sư Viện tại MIT, Liskov đã hệ thống hóa các kỹ thuật thiết kế phần mềm đáng tin cậy, làm thay đổi hoàn toàn cách các nhà phát triển quản lý những kiến trúc phần mềm phức tạp.
Phương pháp trừu tượng hóa dữ liệu và tính tương thích hành vi kiểu con do bà khởi xướng vẫn duy trì vị thế chuẩn mực chung được giảng dạy trong các chương trình khoa học máy tính trên toàn thế giới. Những quy tắc bà xây dựng tiếp tục làm nền tảng cho việc thiết kế các hệ thống phần mềm doanh nghiệp, cơ sở dữ liệu hướng đối tượng và các ngôn ngữ lập trình mạnh mẽ mà ngành công nghiệp phần mềm toàn cầu đang dựa vào ngày nay.
Ảnh đầu bài: minh họa do AI tạo, không phải ảnh tư liệu.
Nguồn: Barbara Liskov