31:
910:
551:
In 2023 Liskov was awarded the
Benjamin Franklin Medal from the Franklin Institute for "seminal contributions to computer programming languages and methodology, enabling the implementation of reliable, reusable programs".
2415:
349:
Liskov was born
November 7, 1939, in Los Angeles, California, the eldest of Jane (née Dickhoff) and Moses Huberman's four children. She earned her bachelor's degree in mathematics with a minor in physics at the
334:
2360:
1720:
1698:
2365:
333:
Liskov is one of the earliest women to have been granted a doctorate in computer science in the United States, and the second woman to receive the Turing award. She is currently an
2355:
362:, where she became interested in computers and programming. She worked at Mitre for one year before taking a programming job at Harvard working on language translation.
2385:
472:(ACM). In 2002, she was recognized as one of the top women faculty members at MIT, and among the top 50 faculty members in the sciences in the U.S. In 2002,
1197:(Report). Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65. Stanford University Department of Computer Science. Archived from
894:
In 1970, she married Nathan Liskov. They have one son, Moses, who earned a PhD in computer science from MIT in 2004 and teaches computer science at the
358:. At the time Princeton was not accepting female students in mathematics. She was accepted at Berkeley but instead moved to Boston and began working at
2310:
1381:
1778:
2405:
2400:
1695:
1403:
2350:
2320:
354:
in 1961. At
Berkeley, she had only one other female classmate in her major. She applied to graduate mathematics programs at Berkeley and
1288:
516:
from the ACM in March 2009, for her work in the design of programming languages and software methodology that led to the development of
2375:
1215:
2380:
2345:
1641:
323:
1746:
1679:
1333:
2395:
2390:
2315:
1686:, Chapter VII: "Pioneering Women in EECS", pp. 225–239, 2003, Department of Electrical Engineering and Computer Science, MIT
1626:
1191:
1066:
365:
She then decided to go back to school and applied again to
Berkeley, but also to Stanford and Harvard. In March 1968 she became
497:
Honorary
Doctorates. Liskov and Knuth were also featured in the ETH Zurich Distinguished Colloquium Series. She was awarded a
2325:
1099:
The electron and the bit: electrical engineering and computer science at the
Massachusetts Institute of Technology, 1902–2002
836:
644:
623:
602:
581:
465:
338:
212:
1304:
502:
2225:
1771:
923:
506:
469:
1563:
1037:
528:
in the 1980s. The ACM cited her contributions to the practical and theoretical foundations of "programming language and
1845:
374:
351:
242:
75:
1538:
412:, the first high-level language to support implementation of distributed programs and to demonstrate the technique of
2410:
2340:
2116:
369:
in the United States to be awarded a Ph.D. from a computer science department when she was awarded her degree from
2370:
1968:
1764:
591:
Alford, M. W.; Ansart, J. P.; Hommel, G.; Lamport, L.; Liskov, Barbara; Mullery, G. P.; Schneider, F. B. (1985).
545:
457:
533:
307:
2053:
956:
429:
311:
131:
933:
525:
461:
409:
113:
895:
517:
315:
163:
121:
1733:
570:
Liskov, Barbara; Atkinson, R.; Bloom, T.; Moss, E.; Schaffert, J. C.; Scheifler, R.; Snyder, A. (1981).
521:
405:
108:
1642:
National Public Radio "Science Friday" interview with
Barbara Liskov, originally aired on 13 Mar 2009
1501:
1447:
592:
437:
1461:
1321:
Barbara Liskov and Donald E. Knuth were awarded the title ETH Honorary Doctor on 19 November 2005.
400:
Liskov has led many significant projects, including the Venus operating system, a small, low-cost
1359:
1042:
498:
378:
2335:
1659:"Barbara Liskov: An Interview Conducted by William Aspray, IEEE History Center, August 6, 1991"
1658:
1456:
482:
179:
1997:
1425:
560:
Liskov is the author of five books as of
February 2023 and over one hundred technical papers.
1621:
1429:
541:
537:
486:
441:
299:
295:
30:
973:
2330:
1635:
1145:
355:
1588:
1445:; Snyder, A.; Atkinson, R.; Schaffert, C. (August 1977). "Abstraction mechanisms in CLU".
8:
2199:
1743:
1337:
474:
370:
81:
2154:
2019:
1901:
1851:
1839:
1520:
1474:
928:
877:
811:
768:
725:
413:
366:
303:
291:
1166:
485:
for "fundamental contributions to programming languages, programming methodology, and
2047:
2025:
1198:
1102:
869:
832:
803:
760:
717:
682:
640:
619:
598:
577:
359:
1524:
1478:
729:
397:
After graduating from
Stanford, Liskov returned to Mitre to work as research staff.
2221:
2209:
2183:
2138:
2134:
1879:
1873:
1725:
1510:
1466:
1408:
915:
881:
859:
793:
772:
750:
707:
674:
636:
Program
Development in Java: Abstraction, Specification, and Object-Oriented Design
386:
237:
202:
101:
1240:
815:
2282:
2235:
2215:
2100:
2086:
2015:
1974:
1952:
1895:
1857:
1816:
1750:
1702:
1652:
1542:
1308:
829:
Proceedings of the Third Symposium on Operating Systems Design and Implementation
694:
Liskov, Barbara; Snyder, Alan; Atkinson, Russell; Schaffert, Craig (1977-08-01).
634:
613:
571:
490:
417:
265:
255:
225:
2270:
2205:
2193:
2171:
2142:
2082:
2009:
1940:
1810:
1756:
1267:
824:
421:
1015:
478:
magazine recognized Liskov as one of the 50 most important women in science.
2304:
2288:
2276:
2245:
2231:
2187:
2128:
1980:
1962:
1958:
1946:
1924:
1822:
1689:
1631:
1567:
873:
807:
764:
737:
Ladin, Rivka; Liskov, Barbara; Shrira, Liuba; Ghemawat, Sanjay (1992-11-01).
721:
686:
529:
445:
382:
260:
1106:
952:
594:
Distributed Systems: Methods and Tools for Specification. An Advanced Course
2249:
2003:
1936:
1930:
1869:
1863:
1787:
1709:
1649:
Celebrating Women of Distinction, Barbara Liskov, Turing Award interview by
1101:. Cambridge, Mass.: MIT, Electrical Engineering and Computer Science Dept.
513:
401:
327:
171:
1470:
1382:"Barbara Liskov, nueva doctora honoris causa por la UPM - elEconomista.es"
864:
847:
798:
781:
755:
738:
712:
695:
678:
2177:
2059:
2041:
2035:
1889:
1804:
1675:
444:. She was on the inaugural Engineering and Computer Science jury for the
1611:
1515:
1496:
1241:"MIT's magnificent seven: Women faculty members cited as top scientists"
1001:
662:
2416:
The Benjamin Franklin Medal in Computer and Cognitive Science laureates
2266:
2239:
2122:
2096:
2092:
2076:
1918:
1883:
1120:
1539:"ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award"
2112:
2029:
425:
319:
1146:"UW-Madison Computer Science Ph.D.s Awarded, May 1965 – August 1970"
2106:
1790:
124:
1616:
381:. The topic of her Ph.D. thesis was a computer program to play
219:
1441:
1307:. Zurich: ETH Computer Science. 22 March 2006. Archived from
693:
2361:
Members of the United States National Academy of Engineering
1336:. Zurich: ETH Computer Science. January 2006. Archived from
1334:"Distinguished Lecturers Barbara Liskov and Donald E. Knuth"
1167:"Barbara Liskov | Biography, A.M. Turing Award, & Facts"
520:. Specifically, Liskov developed two programming languages,
1292:
2366:
Members of the United States National Academy of Sciences
1696:
Department News: Barbara Liskov named Institute Professor
736:
590:
494:
433:
1648:
1156:
PhDs granted at UW-Madison Computer Sciences Department.
852:
ACM Transactions on Software Engineering and Methodology
848:"Protecting privacy using the decentralized label model"
2356:
1996 fellows of the Association for Computing Machinery
569:
1541:. Association for Computing Machinery. Archived from
786:
ACM Transactions on Programming Languages and Systems
780:
Liskov, Barbara H.; Wing, Jeannette M. (1994-11-01).
905:
739:"Providing high availability using lazy replication"
615:
Abstraction and Specification in Program Development
1135:
Profile from the National Academies of Engineering.
1564:"Spotlight | National Inventors Hall of Fame"
1426:Barbara Liskov Wins Turing Award | March 10, 2009
1189:
432:. She leads the Programming Methodology Group at
2386:Stanford University School of Engineering alumni
2302:
1786:
1684:The Electron and The Bit: EECS at MIT, 1902–2002
846:Myers, Andrew C.; Liskov, Barbara (2000-10-01).
302:. Her notable work includes the introduction of
661:Liskov, Barbara; Zilles, Stephen (1974-03-28).
330:, the highest distinction in computer science.
1404:"Top prize in computing goes to MIT professor"
1064:
831:. OSDI '99. USA: USENIX Association: 173–186.
823:Castro, Miguel; Liskov, Barbara (1999-02-22).
1772:
1721:Top prize in computing goes to MIT professor
822:
660:
632:
611:
1421:
1419:
1379:
845:
489:". On 19 November 2005, Barbara Liskov and
424:, she developed a particular definition of
344:
1779:
1765:
1013:
779:
29:
2311:University of California, Berkeley alumni
1514:
1460:
863:
797:
754:
711:
451:
404:system; the design and implementation of
337:and Ford Professor of Engineering at the
294:who has made pioneering contributions to
1710:Barbara Liskov named Institute Professor
1690:Barbara Liskov named Institute Professor
1566:. Invent.org. 2013-11-21. Archived from
1416:
1268:"The 50 Most Important Women in Science"
1190:Huberman (Liskov), Barbara Jane (1968).
968:
966:
964:
326:. Her work was recognized with the 2008
1401:
2406:21st-century American women scientists
2401:20th-century American women scientists
2303:
1491:
1289:IEEE John von Neumann Medal Recipients
1265:
1259:
1096:
1065:D'Agostino, Susan (20 November 2019).
663:"Programming with abstract data types"
633:Liskov, Barbara; Guttag, John (2000).
612:Liskov, Barbara; Guttag, John (1986).
385:for which she developed the important
1760:
1004:, Programming Methodology Group, MIT.
997:
995:
980:. Association for Computing Machinery
961:
825:"Practical Byzantine fault tolerance"
544:". In 2012 she was inducted into the
466:American Academy of Arts and Sciences
339:Massachusetts Institute of Technology
213:Massachusetts Institute of Technology
2351:Researchers in distributed computing
1092:
1090:
1088:
1086:
1067:"The Architect of Modern Algorithms"
924:List of pioneers in computer science
743:ACM Transactions on Computer Systems
470:Association for Computing Machinery
436:, with a current research focus in
13:
2321:American women computer scientists
1497:"Distributed programming in Argus"
1402:Weisman, Robert (March 10, 2009).
1266:Svitil, Kathy (13 November 2002).
992:
782:"A behavioral notion of subtyping"
654:
352:University of California, Berkeley
306:and the accompanying principle of
76:University of California, Berkeley
14:
2427:
2376:MIT School of Engineering faculty
1605:
1192:A program to play chess end games
1083:
555:
507:Universidad Politécnica de Madrid
226:A Program to Play Chess End Games
2381:Software engineering researchers
2346:Programming language researchers
1663:GHN: IEEE Global History Network
908:
889:
481:In 2004, Barbara Liskov won the
2396:21st-century American engineers
2391:20th-century American engineers
1581:
1556:
1531:
1485:
1435:
1395:
1373:
1352:
1326:
1297:
1282:
1233:
1208:
1183:
1159:
696:"Abstraction mechanisms in CLU"
546:National Inventors Hall of Fame
458:National Academy of Engineering
373:. At Stanford, she worked with
314:, which applies these ideas to
2316:Programming language designers
1138:
1113:
1058:
1030:
1007:
946:
597:. Springer Berlin Heidelberg.
576:. Springer Berlin Heidelberg.
1:
1753:at the Chess programming wiki
1617:Programming Methodology Group
1014:Karagianis, Liz (Fall 2009).
957:Mathematics Genealogy Project
939:
430:Liskov substitution principle
377:and was supported to work in
312:Liskov substitution principle
132:Liskov substitution principle
2326:American computer scientists
1705:, EECS Newsletter, Fall 2008
1627:Interview in Quanta magazine
934:Timeline of women in science
462:National Academy of Sciences
7:
1716:(MIT), 128,29, July 9, 2008
1247:. Cambridge, MA. 5 Nov 2002
1216:"Infosys Prize - Jury 2009"
1097:Guttag, John (2005-01-01).
901:
896:College of William and Mary
518:object-oriented programming
316:object-oriented programming
286:(born November 7, 1939, as
164:IEEE John von Neumann Medal
63:Los Angeles, California, US
16:American computer scientist
10:
2432:
1638:, A.M. Turing Award Winner
1622:Turing Award press release
1589:"Barbara H. Liskov, Ph.D."
1220:Infosys Science Foundation
456:Liskov is a member of the
2259:
2164:
2069:
1990:
1911:
1832:
1797:
1448:Communications of the ACM
1360:"USI Honorary Doctorates"
700:Communications of the ACM
512:Liskov received the 2008
438:Byzantine fault tolerance
392:
277:
248:
236:
218:
208:
198:
191:
156:
148:
140:
91:
68:
40:
28:
21:
2411:American women inventors
2341:American women academics
1692:, MIT News, July 1, 2008
1612:Prof. Liskov's home page
563:
532:, especially related to
428:, commonly known as the
418:object-oriented database
345:Early life and education
1171:Encyclopedia Britannica
1043:San Francisco Chronicle
1038:"Jane Siegel: Obituary"
499:Doctorate Honoris Causa
379:artificial intelligence
2371:Turing Award laureates
1811:Maurice Vincent Wilkes
483:John von Neumann Medal
452:Recognition and awards
367:one of the first women
180:Computer Pioneer Award
1738:MIT Technology Review
1734:Driven to Abstraction
1471:10.1145/359763.359789
1204:on February 11, 2017.
865:10.1145/363516.363526
799:10.1145/197320.197383
756:10.1145/138873.138877
713:10.1145/359763.359789
679:10.1145/942572.807045
639:. Pearson Education.
573:CLU: Reference Manual
542:distributed computing
442:distributed computing
300:distributed computing
296:programming languages
288:Barbara Jane Huberman
144:Nathan Liskov (1970–)
45:Barbara Jane Huberman
1291:from the website of
503:University of Lugano
464:and a fellow of the
2200:Michael Stonebraker
1998:Fernando J. CorbatĂł
1740:, December 21, 2009
1516:10.1145/42392.42399
667:ACM SIGPLAN Notices
487:distributed systems
371:Stanford University
335:Institute Professor
304:abstract data types
82:Stanford University
2155:Charles P. Thacker
2020:Richard E. Stearns
1902:Kenneth E. Iverson
1852:Edsger W. Dijkstra
1840:James H. Wilkinson
1788:A. M. Turing Award
1749:2018-07-12 at the
1701:2016-11-05 at the
1430:Dr. Dobb's Journal
1305:"Honorary Doctors"
1047:. January 24, 2010
929:Women in computing
414:promise pipelining
292:computer scientist
172:A. M. Turing Award
2298:
2297:
2172:Leslie G. Valiant
2048:Douglas Engelbart
2026:Edward Feigenbaum
1708:Natasha Plotkin,
1380:elEconomista.es.
1340:on 8 January 2013
1311:on 8 January 2013
978:A.M. Turing Award
838:978-1-880446-39-3
646:978-0-7686-8496-4
625:978-0-262-12112-5
604:978-3-540-15216-3
583:978-3-540-10836-8
524:in the 1970s and
360:Mitre Corporation
310:, along with the
290:) is an American
281:
280:
249:Doctoral students
193:Scientific career
184:
176:
168:
2423:
2222:John L. Hennessy
2210:Whitfield Diffie
2184:Shafi Goldwasser
2139:E. Allen Emerson
2135:Edmund M. Clarke
1880:Michael O. Rabin
1874:Herbert A. Simon
1781:
1774:
1767:
1758:
1757:
1729:, March 10, 2009
1726:The Boston Globe
1719:Robert Weisman,
1672:
1670:
1669:
1599:
1598:
1596:
1595:
1585:
1579:
1578:
1576:
1575:
1560:
1554:
1553:
1551:
1550:
1535:
1529:
1528:
1518:
1489:
1483:
1482:
1464:
1439:
1433:
1423:
1414:
1413:
1409:The Boston Globe
1399:
1393:
1392:
1390:
1389:
1377:
1371:
1370:
1368:
1367:
1356:
1350:
1349:
1347:
1345:
1330:
1324:
1323:
1318:
1316:
1301:
1295:
1286:
1280:
1279:
1277:
1275:
1263:
1257:
1256:
1254:
1252:
1237:
1231:
1230:
1228:
1226:
1212:
1206:
1205:
1203:
1196:
1187:
1181:
1180:
1178:
1177:
1163:
1157:
1155:
1153:
1152:
1142:
1136:
1134:
1132:
1131:
1121:"Barbara Liskov"
1117:
1111:
1110:
1094:
1081:
1080:
1078:
1077:
1062:
1056:
1055:
1053:
1052:
1045:(via Legacy.com)
1034:
1028:
1027:
1025:
1023:
1011:
1005:
999:
990:
989:
987:
985:
974:"Barbara Liskov"
970:
959:
950:
918:
916:Biography portal
913:
912:
911:
885:
867:
842:
819:
801:
792:(6): 1811–1841.
776:
758:
733:
715:
690:
650:
629:
608:
587:
534:data abstraction
387:killer heuristic
308:data abstraction
238:Doctoral advisor
232:
203:Computer science
182:
174:
166:
128:
105:
102:operating system
60:
59:
56:November 7, 1939
55:
53:
33:
19:
18:
2431:
2430:
2426:
2425:
2424:
2422:
2421:
2420:
2301:
2300:
2299:
2294:
2283:Robert Metcalfe
2255:
2236:Geoffrey Hinton
2226:David Patterson
2216:Tim Berners-Lee
2160:
2101:Leonard Adleman
2087:Kristen Nygaard
2065:
2016:Juris Hartmanis
1986:
1975:Ivan Sutherland
1907:
1896:Robert W. Floyd
1858:Charles Bachman
1828:
1817:Richard Hamming
1793:
1785:
1751:Wayback Machine
1703:Wayback Machine
1667:
1665:
1657:
1653:Stephen Ibaraki
1608:
1603:
1602:
1593:
1591:
1587:
1586:
1582:
1573:
1571:
1562:
1561:
1557:
1548:
1546:
1537:
1536:
1532:
1490:
1486:
1440:
1436:
1424:
1417:
1400:
1396:
1387:
1385:
1378:
1374:
1365:
1363:
1358:
1357:
1353:
1343:
1341:
1332:
1331:
1327:
1314:
1312:
1303:
1302:
1298:
1287:
1283:
1273:
1271:
1264:
1260:
1250:
1248:
1245:MIT News Office
1239:
1238:
1234:
1224:
1222:
1214:
1213:
1209:
1201:
1194:
1188:
1184:
1175:
1173:
1165:
1164:
1160:
1150:
1148:
1144:
1143:
1139:
1129:
1127:
1119:
1118:
1114:
1095:
1084:
1075:
1073:
1071:Quanta Magazine
1063:
1059:
1050:
1048:
1036:
1035:
1031:
1021:
1019:
1012:
1008:
1000:
993:
983:
981:
972:
971:
962:
951:
947:
942:
914:
909:
907:
904:
892:
839:
657:
655:Selected papers
647:
626:
605:
584:
566:
558:
538:fault tolerance
505:in 2011 and by
491:Donald E. Knuth
454:
416:; and Thor, an
395:
347:
273:
266:Sanjay Ghemawat
256:Maurice Herlihy
230:
187:
136:
122:object-oriented
119:
99:
87:
69:Alma mater
64:
61:
57:
51:
49:
48:
47:
46:
36:
24:
17:
12:
11:
5:
2429:
2419:
2418:
2413:
2408:
2403:
2398:
2393:
2388:
2383:
2378:
2373:
2368:
2363:
2358:
2353:
2348:
2343:
2338:
2333:
2328:
2323:
2318:
2313:
2296:
2295:
2293:
2292:
2286:
2280:
2274:
2271:Jeffrey Ullman
2263:
2261:
2257:
2256:
2254:
2253:
2243:
2229:
2219:
2213:
2206:Martin Hellman
2203:
2197:
2194:Leslie Lamport
2191:
2181:
2175:
2168:
2166:
2162:
2161:
2159:
2158:
2152:
2149:Barbara Liskov
2146:
2143:Joseph Sifakis
2132:
2126:
2120:
2110:
2104:
2090:
2083:Ole-Johan Dahl
2080:
2073:
2071:
2067:
2066:
2064:
2063:
2057:
2051:
2045:
2039:
2033:
2023:
2013:
2010:Butler Lampson
2007:
2001:
1994:
1992:
1988:
1987:
1985:
1984:
1978:
1972:
1966:
1956:
1950:
1944:
1941:Dennis Ritchie
1934:
1928:
1922:
1915:
1913:
1909:
1908:
1906:
1905:
1899:
1893:
1887:
1877:
1867:
1861:
1855:
1849:
1843:
1836:
1834:
1830:
1829:
1827:
1826:
1820:
1814:
1808:
1801:
1799:
1795:
1794:
1784:
1783:
1776:
1769:
1761:
1755:
1754:
1744:Barbara Liskov
1741:
1730:
1717:
1706:
1693:
1687:
1680:Barbara Liskov
1676:John V. Guttag
1673:
1655:
1646:
1644:
1639:
1636:Barbara Liskov
1629:
1624:
1619:
1614:
1607:
1606:External links
1604:
1601:
1600:
1580:
1555:
1530:
1509:(3): 300–312.
1495:(March 1988).
1484:
1462:10.1.1.112.656
1455:(8): 564–576.
1434:
1415:
1394:
1372:
1351:
1325:
1296:
1281:
1258:
1232:
1207:
1182:
1158:
1137:
1112:
1082:
1057:
1029:
1018:. MIT Spectrum
1006:
1002:Barbara Liskov
991:
960:
953:Barbara Liskov
944:
943:
941:
938:
937:
936:
931:
926:
920:
919:
903:
900:
891:
888:
887:
886:
858:(4): 410–442.
843:
837:
820:
777:
749:(4): 360–391.
734:
706:(8): 564–576.
691:
656:
653:
652:
651:
645:
630:
624:
609:
603:
588:
582:
565:
562:
557:
556:Selected works
554:
453:
450:
422:Jeannette Wing
394:
391:
383:chess endgames
346:
343:
284:Barbara Liskov
279:
278:
275:
274:
272:
271:
268:
263:
258:
252:
250:
246:
245:
240:
234:
233:
222:
216:
215:
210:
206:
205:
200:
196:
195:
189:
188:
186:
185:
177:
169:
160:
158:
154:
153:
150:
146:
145:
142:
138:
137:
135:
134:
129:
116:
111:
106:
95:
93:
92:Known for
89:
88:
86:
85:
79:
72:
70:
66:
65:
62:
44:
42:
38:
37:
35:Liskov in 2010
34:
26:
25:
23:Barbara Liskov
22:
15:
9:
6:
4:
3:
2:
2428:
2417:
2414:
2412:
2409:
2407:
2404:
2402:
2399:
2397:
2394:
2392:
2389:
2387:
2384:
2382:
2379:
2377:
2374:
2372:
2369:
2367:
2364:
2362:
2359:
2357:
2354:
2352:
2349:
2347:
2344:
2342:
2339:
2337:
2336:Living people
2334:
2332:
2329:
2327:
2324:
2322:
2319:
2317:
2314:
2312:
2309:
2308:
2306:
2290:
2289:Avi Wigderson
2287:
2284:
2281:
2278:
2277:Jack Dongarra
2275:
2272:
2268:
2265:
2264:
2262:
2258:
2251:
2247:
2244:
2241:
2237:
2233:
2232:Yoshua Bengio
2230:
2227:
2223:
2220:
2217:
2214:
2211:
2207:
2204:
2201:
2198:
2195:
2192:
2189:
2188:Silvio Micali
2185:
2182:
2179:
2176:
2173:
2170:
2169:
2167:
2163:
2156:
2153:
2150:
2147:
2144:
2140:
2136:
2133:
2130:
2129:Frances Allen
2127:
2124:
2121:
2118:
2114:
2111:
2108:
2105:
2102:
2098:
2094:
2091:
2088:
2084:
2081:
2078:
2075:
2074:
2072:
2068:
2061:
2058:
2055:
2052:
2049:
2046:
2043:
2040:
2037:
2034:
2031:
2027:
2024:
2021:
2017:
2014:
2011:
2008:
2005:
2002:
1999:
1996:
1995:
1993:
1989:
1982:
1981:William Kahan
1979:
1976:
1973:
1970:
1967:
1964:
1963:Robert Tarjan
1960:
1959:John Hopcroft
1957:
1954:
1951:
1948:
1947:Niklaus Wirth
1945:
1942:
1938:
1935:
1932:
1929:
1926:
1925:Edgar F. Codd
1923:
1920:
1917:
1916:
1914:
1910:
1903:
1900:
1897:
1894:
1891:
1888:
1885:
1881:
1878:
1875:
1871:
1868:
1865:
1862:
1859:
1856:
1853:
1850:
1847:
1846:John McCarthy
1844:
1841:
1838:
1837:
1835:
1831:
1824:
1823:Marvin Minsky
1821:
1818:
1815:
1812:
1809:
1806:
1803:
1802:
1800:
1796:
1792:
1789:
1782:
1777:
1775:
1770:
1768:
1763:
1762:
1759:
1752:
1748:
1745:
1742:
1739:
1735:
1732:Erica Naone,
1731:
1728:
1727:
1722:
1718:
1715:
1711:
1707:
1704:
1700:
1697:
1694:
1691:
1688:
1685:
1681:
1677:
1674:
1664:
1660:
1656:
1654:
1650:
1647:
1645:
1643:
1640:
1637:
1633:
1632:Tom Van Vleck
1630:
1628:
1625:
1623:
1620:
1618:
1615:
1613:
1610:
1609:
1590:
1584:
1570:on 2016-08-14
1569:
1565:
1559:
1545:on 2012-07-16
1544:
1540:
1534:
1526:
1522:
1517:
1512:
1508:
1504:
1503:
1498:
1494:
1488:
1480:
1476:
1472:
1468:
1463:
1458:
1454:
1450:
1449:
1444:
1438:
1431:
1427:
1422:
1420:
1411:
1410:
1405:
1398:
1383:
1376:
1361:
1355:
1339:
1335:
1329:
1322:
1310:
1306:
1300:
1294:
1290:
1285:
1269:
1262:
1246:
1242:
1236:
1221:
1217:
1211:
1200:
1193:
1186:
1172:
1168:
1162:
1147:
1141:
1126:
1122:
1116:
1108:
1104:
1100:
1093:
1091:
1089:
1087:
1072:
1068:
1061:
1046:
1044:
1039:
1033:
1017:
1010:
1003:
998:
996:
979:
975:
969:
967:
965:
958:
954:
949:
945:
935:
932:
930:
927:
925:
922:
921:
917:
906:
899:
897:
890:Personal life
883:
879:
875:
871:
866:
861:
857:
853:
849:
844:
840:
834:
830:
826:
821:
817:
813:
809:
805:
800:
795:
791:
787:
783:
778:
774:
770:
766:
762:
757:
752:
748:
744:
740:
735:
731:
727:
723:
719:
714:
709:
705:
701:
697:
692:
688:
684:
680:
676:
672:
668:
664:
659:
658:
648:
642:
638:
637:
631:
627:
621:
618:. MIT Press.
617:
616:
610:
606:
600:
596:
595:
589:
585:
579:
575:
574:
568:
567:
561:
553:
549:
547:
543:
539:
535:
531:
530:system design
527:
523:
519:
515:
510:
508:
504:
500:
496:
493:were awarded
492:
488:
484:
479:
477:
476:
471:
467:
463:
459:
449:
447:
446:Infosys Prize
443:
439:
435:
431:
427:
423:
420:system. With
419:
415:
411:
407:
403:
398:
390:
388:
384:
380:
376:
375:John McCarthy
372:
368:
363:
361:
357:
353:
342:
340:
336:
331:
329:
325:
321:
317:
313:
309:
305:
301:
297:
293:
289:
285:
276:
269:
267:
264:
262:
261:J. Eliot Moss
259:
257:
254:
253:
251:
247:
244:
243:John McCarthy
241:
239:
235:
228:
227:
223:
221:
217:
214:
211:
207:
204:
201:
197:
194:
190:
181:
178:
173:
170:
165:
162:
161:
159:
155:
151:
147:
143:
139:
133:
130:
126:
123:
117:
115:
112:
110:
107:
103:
97:
96:
94:
90:
83:
80:
77:
74:
73:
71:
67:
58:(age 84)
43:
39:
32:
27:
20:
2250:Pat Hanrahan
2148:
2004:Robin Milner
1953:Richard Karp
1937:Ken Thompson
1931:Stephen Cook
1870:Allen Newell
1864:Donald Knuth
1737:
1724:
1713:
1683:
1666:. Retrieved
1662:
1583:
1572:. Retrieved
1568:the original
1558:
1547:. Retrieved
1543:the original
1533:
1506:
1500:
1492:
1487:
1452:
1446:
1442:
1437:
1407:
1397:
1386:. Retrieved
1384:(in Spanish)
1375:
1364:. Retrieved
1354:
1342:. Retrieved
1338:the original
1328:
1320:
1313:. Retrieved
1309:the original
1299:
1284:
1272:. Retrieved
1261:
1249:. Retrieved
1244:
1235:
1223:. Retrieved
1219:
1210:
1199:the original
1185:
1174:. Retrieved
1170:
1161:
1149:. Retrieved
1140:
1128:. Retrieved
1125:EngineerGirl
1124:
1115:
1098:
1074:. Retrieved
1070:
1060:
1049:. Retrieved
1041:
1032:
1020:. Retrieved
1009:
982:. Retrieved
977:
948:
893:
855:
851:
828:
789:
785:
746:
742:
703:
699:
673:(4): 50–59.
670:
666:
635:
614:
593:
572:
559:
550:
514:Turing Award
511:
480:
473:
455:
399:
396:
364:
348:
332:
328:Turing Award
287:
283:
282:
270:Andrew Myers
224:
209:Institutions
192:
2331:1939 births
2178:Judea Pearl
2060:Fred Brooks
2042:Amir Pnueli
2036:Manuel Blum
1890:John Backus
1805:Alan Perlis
1016:"Top Prize"
468:and of the
402:timesharing
324:inheritance
2305:Categories
2267:Alfred Aho
2246:Ed Catmull
2240:Yann LeCun
2123:Peter Naur
2097:Adi Shamir
2093:Ron Rivest
2077:Andrew Yao
1969:John Cocke
1919:Tony Hoare
1884:Dana Scott
1668:2013-11-29
1594:2024-03-25
1592:Retrieved
1574:2016-05-31
1549:2009-03-10
1493:Liskov, B.
1443:Liskov, B.
1388:2018-06-11
1366:2021-05-16
1344:29 October
1315:29 October
1270:. Discover
1251:29 October
1176:2021-09-25
1151:2010-11-08
1130:2007-09-06
1076:2020-10-21
1051:2014-11-18
940:References
52:1939-11-07
2113:Vint Cerf
2030:Raj Reddy
1791:laureates
1502:Comm. ACM
1457:CiteSeerX
1428:from the
984:28 August
874:1049-331X
808:0164-0925
765:0734-2071
722:0001-0782
687:0362-1340
509:in 2018.
448:in 2009.
426:subtyping
356:Princeton
320:subtyping
2117:Bob Kahn
2107:Alan Kay
2054:Jim Gray
1747:Archived
1714:The Tech
1699:Archived
1525:16233001
1479:17343380
1107:61332947
902:See also
730:17343380
475:Discover
149:Children
125:database
1432:website
1225:1 March
1022:10 July
955:at the
882:9600486
773:2219840
501:by the
2291:(2023)
2285:(2022)
2279:(2021)
2273:(2020)
2252:(2019)
2242:(2018)
2228:(2017)
2218:(2016)
2212:(2015)
2202:(2014)
2196:(2013)
2190:(2012)
2180:(2011)
2174:(2010)
2157:(2009)
2151:(2008)
2145:(2007)
2131:(2006)
2125:(2005)
2119:(2004)
2109:(2003)
2103:(2002)
2089:(2001)
2079:(2000)
2062:(1999)
2056:(1998)
2050:(1997)
2044:(1996)
2038:(1995)
2032:(1994)
2022:(1993)
2012:(1992)
2006:(1991)
2000:(1990)
1983:(1989)
1977:(1988)
1971:(1987)
1965:(1986)
1955:(1985)
1949:(1984)
1943:(1983)
1933:(1982)
1927:(1981)
1921:(1980)
1904:(1979)
1898:(1978)
1892:(1977)
1886:(1976)
1876:(1975)
1866:(1974)
1860:(1973)
1854:(1972)
1848:(1971)
1842:(1970)
1825:(1969)
1819:(1968)
1813:(1967)
1807:(1966)
1523:
1477:
1459:
1105:
880:
872:
835:
816:999172
814:
806:
771:
763:
728:
720:
685:
643:
622:
601:
580:
540:, and
460:, the
393:Career
322:, and
231:(1968)
229:
220:Thesis
199:Fields
183:(2018)
175:(2008)
167:(2004)
157:Awards
141:Spouse
98:Venus
2260:2020s
2165:2010s
2070:2000s
1991:1990s
1912:1980s
1833:1970s
1798:1960s
1521:S2CID
1475:S2CID
1362:. USI
1274:1 May
1202:(PDF)
1195:(PDF)
878:S2CID
812:S2CID
769:S2CID
726:S2CID
564:Books
526:Argus
410:Argus
118:Thor
114:Argus
84:(PhD)
1346:2012
1317:2012
1293:IEEE
1276:2019
1253:2012
1227:2021
1103:OCLC
1024:2016
986:2021
870:ISSN
833:ISBN
804:ISSN
761:ISSN
718:ISSN
683:ISSN
641:ISBN
620:ISBN
599:ISBN
578:ISBN
440:and
298:and
78:(BA)
41:Born
1511:doi
1467:doi
860:doi
794:doi
751:doi
708:doi
675:doi
522:CLU
495:ETH
434:MIT
406:CLU
109:CLU
2307::
2269:;
2248:;
2238:;
2234:;
2224:;
2208:;
2186:;
2141:;
2137:;
2115:;
2099:;
2095:;
2085:;
2028:;
2018:;
1961:;
1939:;
1882:;
1872:;
1736:,
1723:,
1712:,
1682:,
1678:,
1661:.
1651:,
1634:,
1519:.
1507:31
1505:.
1499:.
1473:.
1465:.
1453:20
1451:.
1418:^
1406:.
1319:.
1243:.
1218:.
1169:.
1123:.
1085:^
1069:.
1040:.
994:^
976:.
963:^
898:.
876:.
868:.
854:.
850:.
827:.
810:.
802:.
790:16
788:.
784:.
767:.
759:.
747:10
745:.
741:.
724:.
716:.
704:20
702:.
698:.
681:.
669:.
665:.
548:.
536:,
408:;
389:.
341:.
318:,
54:)
1780:e
1773:t
1766:v
1671:.
1597:.
1577:.
1552:.
1527:.
1513::
1481:.
1469::
1412:.
1391:.
1369:.
1348:.
1278:.
1255:.
1229:.
1179:.
1154:.
1133:.
1109:.
1079:.
1054:.
1026:.
988:.
884:.
862::
856:9
841:.
818:.
796::
775:.
753::
732:.
710::
689:.
677::
671:9
649:.
628:.
607:.
586:.
152:1
127:)
120:(
104:)
100:(
50:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.