Barbara Liskov
E18422
Barbara Liskov is an American computer scientist renowned for her pioneering work in programming languages, data abstraction, and distributed systems, and is one of the first women to receive the Turing Award.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Barbara Liskov canonical | 14 |
Statements (54)
| Predicate | Object |
|---|---|
| instanceOf |
Turing Award laureate
ⓘ
computer scientist ⓘ human ⓘ software engineer ⓘ university professor ⓘ |
| academicDegree |
Bachelor of Science in Mathematics
GENERATED
ⓘ
PhD in Computer Science GENERATED ⓘ |
| awardReceived |
ACM A.M. Turing Award
GENERATED
ⓘ
ACM SIGPLAN Programming Languages Achievement Award GENERATED ⓘ Fellow of the Association for Computing Machinery GENERATED ⓘ IEEE John von Neumann Medal GENERATED ⓘ John von Neumann Medal GENERATED ⓘ National Medal of Technology and Innovation GENERATED ⓘ Turing Award GENERATED ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| dateOfBirth | 1939-11-07 GENERATED ⓘ |
| doctoralAdvisor | John McCarthy GENERATED ⓘ |
| doctoralThesisPublicationYear | 1968 GENERATED ⓘ |
| doctoralThesisTitle | A Program to Play Chess End Games GENERATED ⓘ |
| educatedAt |
University of California, Berkeley
GENERATED
ⓘ
University of California, Los Angeles GENERATED ⓘ |
| employer | Massachusetts Institute of Technology GENERATED ⓘ |
| familyName | Liskov GENERATED ⓘ |
| fieldOfWork |
computer science
GENERATED
ⓘ
data abstraction GENERATED ⓘ distributed systems GENERATED ⓘ programming languages GENERATED ⓘ software engineering GENERATED ⓘ |
| fullName | Barbara Jane Liskov GENERATED ⓘ |
| givenName | Barbara GENERATED ⓘ |
| influenced |
object-oriented programming
GENERATED
ⓘ
software design principles GENERATED ⓘ |
| knownFor |
Liskov substitution principle
GENERATED
ⓘ
abstract data types GENERATED ⓘ data abstraction GENERATED ⓘ fault-tolerant distributed systems GENERATED ⓘ programming language design GENERATED ⓘ |
| languageDesigned |
Argus
ⓘ
CLU GENERATED ⓘ |
| memberOf |
American Academy of Arts and Sciences
GENERATED
ⓘ
National Academy of Engineering GENERATED ⓘ National Academy of Sciences GENERATED ⓘ |
| notableAchievement | one of the first women to receive the Turing Award GENERATED ⓘ |
| notableWork |
Argus programming language
GENERATED
ⓘ
CLU programming language GENERATED ⓘ Liskov substitution principle GENERATED ⓘ Venus distributed file system GENERATED ⓘ |
| placeOfBirth |
California
GENERATED
ⓘ
Los Angeles GENERATED ⓘ United States of America GENERATED ⓘ |
| positionHeld |
Ford Professor of Engineering
GENERATED
ⓘ
head of MIT Department of Electrical Engineering and Computer Science GENERATED ⓘ |
| sexOrGender | female GENERATED ⓘ |
| workplace | MIT Computer Science and Artificial Intelligence Laboratory GENERATED ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Barbara Liskov Description of subject: Barbara Liskov is an American computer scientist renowned for her pioneering work in programming languages, data abstraction, and distributed systems, and is one of the first women to receive the Turing Award.
Referenced by (14)
Full triples — surface form annotated when it differs from this entity's canonical label.