7779:
56:
of the digital computer; they are now regarded as computer scientists because their work can be seen as leading to the invention of the computer. Others are mathematicians whose work falls within what would now be called theoretical computer science, such as
7803:
5395:
4814:
5399:
4050:
2609:
563:
6079:
4462:
7657:
2724:
689:
5048:β University of Pittsburgh: assistant department chair, senior lecturer in computer science, assistant dean of CAS for undergraduate studies
7736:
6431:
3307:
23:
7798:
1449:, co-founder and co-director of Stanford Advanced Computer Security Program, co-founder of Dasient (acquired by Twitter), former chief
7818:
6770:
5765:
5265:
7502:
4723:
1212:
7881:
5291:
4963:
4309:, first general-purpose electronic digital computer, and EDVAC, BINAC and UNIVAC I, the first commercial computer; worked with
7871:
7828:
6069:
2858:
2817:
2522:
1553:
7808:
6003:
5678:
5229:
2374:
6649:
6497:
4679:
3918:
2835:
2411:
2380:
1544:
939:
814:
790:
6493:
7833:
7447:
7325:
5443:
4376:
3039:
1641:
1156:
19:
6908:
6618:
6163:
5724:
2505:
2100:
3341:β software engineer and automation architect. Holds 26 patented inventions in the United States of America and Japan
6298:
5233:
4820:
4656:
3533:
3344:
3172:
2959:
433:, back when "programming" involved using cables, dials, and switches to physically rewire the machine; worked with
396:
7187:
7076:
6963:
6934:
6562:
6515:
6384:
5967:
5183:
4076:
3999:
3707:
3636:
2889:
2880:
2449:
2436:
2415:
1624:
1135:
831:
116:
58:
7246:
6920:
6136:
5421:β computer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games
5287:
4824:
4366:
2637:
2199:
1688:
1263:
578:
62:
7823:
7487:
7479:
7196:
7159:
6980:
6967:
6763:
6528:
6393:
5778:
5614:
5582:
5223:
5114:
4477:
4166:
3881:
3693:
3689:
2866:
2780:
2683:
2545:
499:
7876:
7131:
6276:
6159:
5075:
4958:
4623:
3908:
2562:
2335:
2158:
1826:
7706:
7589:
7263:
7250:
6912:
6402:
5946:
5636:
5544:
5187:
5059:
4732:
4549:
4531:
4380:
4297:
4158:
3601:
3573:
3049:
2760:
2756:
2500:
2095:
1385:
1027:
991:
933:
904:
818:
95:
7532:
7368:
7349:
7080:
6755:
6725:
6471:
6126:
5757:
4660:
4453:
4288:
4178:
3986:
3950:
3658:
3278:
3247:
3238:
2784:
2526:
2517:
2221:
1719:
1700:
1300:
1226:
929:
786:
253:
52:
are included here because they work in research as well as program. A few of these people pre-date the
27:
7419:
7102:
7016:
6916:
6885:
6831:
6749:
6335:
6140:
5990:
5819:
5357:
5278:
4535:
4495:
4436:
4162:
3942:
3893:
3348:
3298:
3204:
2605:
2586:
2154:
1079:
843:
649:
559:
430:
310:
3130:
7793:
7597:
7335:
6766:
6733:
6729:
6280:
5950:
5698:
5535:
5370:
4943:
4869:
4828:
4406:
4243:
4170:
3461:
3425:
3282:
3194:
3176:
2802:
2468:
2406:
2309:
2262:β was the Chief Digital Service Officer for the U.S. Department of Education, founder of teQuitable
2130:
2062:
1886:
1728:
1616:
1425:
1312:
1172:
835:
800:
592:
419:
257:
2789:
7382:
7217:
6815:
6614:
6201:
5886:
5823:
5600:
5348:
5310:
5245:
5039:
5009:
4986:
4934:
4917:
4894:
4510:
4419:
4392:
4265:
4204:
4008:
3959:
3671:
3302:
3139:
3022:
2924:
2694:
2628:
2464:
1965:
1771:β founding dean of Indiana University School of Informatics, information based logics especially
1710:
1645:
1637:
1437:
1334:
1282:
1023:
653:
181:
129:
3323:
7561:β wrote the first PhD dissertation involving modern computers; was one of the people who wrote
7558:
7406:
7331:
7238:
7163:
6759:
6588:
6480:
6463:
6313:
6262:
5913:
5743:
5479:
5366:
5332:
5259:
5178:
4668:
4428:
4370:
4362:
4274:
3885:
3876:
3872:
3756:
3641:
3569:
2870:
2288:
1586:
1521:
1244:
1014:
883:
847:
746:(born 1953) β Dutch Information systems researcher, and Professor at the Γ
bo Akademi University
698:
481:
465:
294:
267:
228:
78:
4737:
1259:
7269:
7068:
6903:
6721:
6317:
6178:
6064:
5868:
5761:
5548:
5487:
5093:
5017:
4855:
4561:
4348:
4261:
4128:
4110:
4041:
3802:
3519:
3243:
3212:
3101:
2978:
2764:
2397:
2296:
2162:
1946:
1878:
1742:
1499:
1092:
973:
855:
758:
359:
354:
199:
6037:
5986:
7696:
7687:
7311:
7094:
7072:
6868:
6476:
6352:
6268:
6258:
6214:
6145:
6056:
5942:
5900:
5877:
5689:
5475:
5337:
5195:
5147:
4832:
4790:
4710:
4688:
4568:
4344:
4102:
4094:
4085:
3938:
3868:
3702:
3653:
3626:
3074:
2768:
2752:
2690:
2658:
2619:
2576:
2558:
2458:
2226:
1724:
1675:
1517:
1450:
1291:
1254:
1019:
977:
908:
822:
776:
520:
477:
384:
7036:
8:
7813:
7621:
7604:
7593:
7298:
7040:
7011:
6976:
6597:
6453:
6449:
6415:
6406:
6327:
5981:
5929:
5921:
5853:
5673:
5659:
5628:
5483:
5418:
5208:
5013:
4877:
4651:
4553:
4318:
4247:
3738:
3605:
3584:
3053:
2904:
2862:
2284:
2087:
1813:
1732:
1603:
1456:
1195:
753:
667:
535:
74:
22:
and may never be able to satisfy particular standards for completeness. You can help by
7804:
List of members of the
National Academy of Sciences (computer and information sciences)
7732:
7724:
7616:
7541:
7498:
7429:
7425:
7288:
7201:
7192:
6841:
6741:
6695:
6687:
6524:
6489:
6425:
6420:
6411:
6389:
6380:
6241:
6210:
6174:
6103:
6093:
6025:
5972:
5959:
5832:
5828:
5711:
5510:
5385:
5362:
5204:
4881:
4849:
4601:
4588:
4578:
4565:
4293:
4226:
4056:
4004:
3923:
3524:
3510:
3501:
3457:
3407:
3333:
3274:
3222:
3144:
3105:
3079:
3003:
2719:
2703:
2633:
2389:
2183:
2146:
2125:
2029:
1874:
1861:
1629:
1526:
1489:
1120:
1116:
968:
955:
859:
511:
461:
406:
306:
212:
159:
7851:
3899:
3680:
7728:
7396:
7316:
7209:
7089:
7031:
6946:
6835:
6745:
6704:
6627:
6592:
6566:
6502:
6344:
6206:
6182:
6167:
6019:
5977:
5653:
5632:
5591:
5540:
5514:
5453:
5424:
5314:
4930:
4907:
4885:
4728:
4719:
4523:
4284:
4208:
4174:
4143:
4137:
4132:
4114:
4090:
4072:
3784:
3729:
3698:
3610:
3578:
3430:
3354:
3083:
3057:
2675:
2662:
2270:
2110:
2058:
2038:
2009:
1996:
1974:
1857:
1804:
1559:
1549:
1513:
1446:
1417:
1404:
1330:
1204:
1199:
1070:
1041:
864:
851:
827:
796:
782:
729:
703:
680:
239:
218:
172:
112:
91:
6826:) in 1912, a true automaton built to play chess without human guidance. In his work
2667:
706:β World Chess Champion, computer scientist and electrical engineer, pioneered early
7719:
7600:
7577:
7438:
7106:
7098:
7055:
7003:
6999:
6601:
6584:
6443:
6437:
6361:
6331:
6272:
6223:
6197:
6170:
6155:
6052:
6031:
5925:
5896:
5792:
5774:
5748:
5669:
5644:
5620:
5610:
5531:
5492:
5471:
5391:
5353:
5274:
5085:
5081:
4990:
4921:
4865:
4715:
4647:
4619:
4574:
4539:
4441:
4331:
4270:
4030:
4013:
3928:
3747:
3675:
3622:
3592:
3381:
3373:
3364:
3328:
3208:
3162:
3088:
3026:
3013:
2993:
2974:
2955:
2951:
2914:
2898:
2748:
2711:
2582:
2487:
2441:
2323:
2024:
1851:
1845:
1777:
1768:
1612:
1536:
1532:
1463:
1421:
1372:
1177:
1151:
1126:
1087:
982:
900:
889:
515:
363:
195:
168:
38:
6252:
5994:
2473:
555:
7856:
7750:
7745:
7537:
7511:
7461:
7443:
7345:
7285:
7168:
7051:
7045:
6994:
6989:
6972:
6847:
6781:
6775:
6700:
6552:
6543:
6533:
6485:
6303:
6186:
6132:
5938:
5892:
5848:
5753:
5733:
5574:
5522:
5518:
5505:
5301:
5269:
5173:
5123:
5109:
5104:
5098:
5051:
4852:β massively parallel autonomous cellular processor, software engineering research
4629:
4544:
4518:
4415:
4410:
4402:
4397:
3864:
3852:
3767:
3761:
3725:
3618:
3561:
3539:
3466:
3269:
3218:
3097:
3066:
3061:
3008:
2876:
2827:
2728:
2654:
2624:
2554:
2535:
2423:
2419:
2344:
2339:
2331:
2327:
2305:
2275:
2265:
2254:
2195:
2171:
2077:
2047:
2043:
1923:
1772:
1509:
1433:
1429:
1400:
1308:
1111:
1060:
1055:
768:
749:
636:
526:
350:
347:(1791β1871) β invented first mechanical computer called the supreme mathematician
344:
300:
285:
155:
146:
140:
6638:
2885:
621:
7758:
7741:
7715:
7702:
7653:
7639:
7452:
7373:
7364:
7358:
7085:
7026:
6959:
6895:
6864:
6858:
6852:
6819:
6802:
6796:
6787:
6669:
6622:
6467:
6459:
6370:
6323:
6308:
6233:
6218:
6191:
6099:
6084:
6013:
6007:
5963:
5934:
5873:
5815:
5728:
5694:
5587:
5413:
5404:
5071:
5045:
5026:
4978:
4706:
4683:
4642:
4557:
4473:
4335:
4081:
4037:
4023:
3973:
3933:
3811:
3794:
3752:
3588:
3556:
3552:
3515:
3412:
3318:
3200:
3166:
3157:
3031:
2983:
2941:
2932:
2928:
2821:
2812:
2744:
2592:
2483:
2477:
2428:
2300:
2292:
2280:
2217:
2115:
2067:
2019:
1970:
1892:
1869:
1759:
1697:
1655:
1599:
1468:
1377:
1345:
1278:
1222:
1130:
996:
724:
716:
711:
676:
627:
530:
450:
390:
289:
150:
108:
99:
7334:β use of computers in engineering education, conversational use of computers,
6791:
7865:
7711:
7567:
7545:
7467:
7434:
7234:
7223:
7182:
6930:
6877:
6708:
6681:
6658:
6643:
6578:
6558:
6519:
6294:
6120:
6108:
6047:
5998:
5882:
5864:
5836:
5810:
5804:
5783:
5640:
5605:
5578:
5566:
5557:
5345:
5328:
5251:
5133:
5089:
5022:
4954:
4948:
4810:
4804:
4749:
4633:
4506:
4482:
4458:
4354:
4340:
4327:
4230:
4222:
4212:
4154:
3955:
3904:
3848:
3789:
3743:
3667:
3438:
3403:
3359:
3294:
3264:
3111:
3091:(1860β1929) β invented recording of data on a machine readable medium, using
2965:
2947:
2798:
2707:
2671:
2492:
2364:
2353:
2259:
2240:
2231:
2166:
2105:
2082:
2034:
2005:
1991:
1897:
1794:
1693:
1659:
1356:
1339:
1325:
1321:
1250:
1186:
1162:
1144:
1107:
1083:
1066:
1037:
1005:
743:
707:
662:
568:
550:
332:
321:
276:
208:
163:
82:
6633:
5297:
2349:
7784:
7683:
7635:
7631:
7582:
7520:
7492:
7415:
7353:
7259:
7172:
7064:
6713:
6675:
6664:
6375:
6246:
6111:β computational finance, computational biochemistry, parallel architectures
5955:
5624:
5283:
5200:
5191:
5143:
5035:
5005:
4939:
4890:
4780:
4774:
4768:
4743:
4673:
4638:
4606:
4597:
4491:
4486:
4467:
4302:
4235:
4148:
4124:
4018:
3995:
3844:
3832:
3827:
3631:
3506:
3448:
3443:
3390:
3234:
3135:
3118:
3092:
2999:
2969:
2853:
2849:
2831:
2445:
2432:
2402:
2369:
2356:; not a computer scientist per se, but his work was invaluable in the field
2150:
2000:
1952:
1942:
1911:
1832:
1822:
1799:
1747:
1738:
1715:
1706:
1620:
1564:
1495:
1442:
1317:
1304:
1296:
1240:
1231:
1168:
1010:
959:
917:
733:
658:
632:
610:
588:
545:
486:
456:
434:
263:
233:
224:
177:
121:
7763:
7678:
7674:
7647:
7515:
7475:
7390:
7377:
7307:
7292:
7281:
7229:
7177:
7155:
6985:
6924:
6891:
6654:
6610:
6511:
6397:
6365:
5917:
5798:
5739:
5553:
5409:
5319:
5306:
4972:
4798:
4762:
4692:
4584:
4500:
4449:
4388:
4358:
4310:
4279:
4256:
4252:
4217:
4192:
4187:
4118:
4109:
systems, optimizing, analysis, and transformations, intelligent systems,
4060:
4027:
3982:
3946:
3860:
3716:
3472:
3452:
3421:
3338:
3313:
3252:
3045:
2988:
2920:
2844:
2699:
2568:
2235:
2191:
2141:
2120:
2052:
1979:
1956:
1933:
1926:
1790:
1763:
1671:
1649:
1568:
1540:
1504:
1368:
1350:
1287:
1235:
1031:
870:
839:
805:
671:
645:
615:
606:
597:
495:
427:
415:
401:
376:
280:
249:
204:
134:
7692:
7553:
7549:
7147:
7115:
6873:
6691:
6678:β humanβcomputer interaction, graphical user interface, Apple Macintosh
6288:
6284:
6237:
6114:
6089:
6075:
6043:
5707:
5684:
5526:
5465:
5379:
5168:
5159:
5137:
4903:
4873:
4786:
4697:
4614:
4514:
4046:
3968:
3889:
3840:
3823:
3819:
3180:
3149:
3018:
2894:
2840:
2807:
2793:
2732:
2615:
2601:
2454:
2359:
2245:
2203:
2072:
1836:
1582:
1272:
1101:
1075:
987:
964:
912:
895:
874:
720:
685:
601:
583:
572:
410:
186:
103:
49:
5989:β artificial intelligence, deep learning, artificial neural networks,
1353:β interactive computing, computer graphics, high performance computing
7662:
7562:
7524:
6899:
6581:β Google Director of Engineering, also known as the Security Princess
6339:
6060:
5859:
5596:
5561:
5459:
5447:
5382:β data, artificial intelligence, civic technology, healthcare, ethics
5255:
5219:
5030:
4999:
4913:
4423:
4098:
3798:
3734:
3711:
3597:
3497:
3484:
3476:
3256:
3190:
2910:
2907:(born 1948) β American computer scientist and organizational theorist
2715:
2393:
2384:
2314:
2249:
2212:
2014:
1865:
1633:
1595:
1485:
1477:
1413:
1408:
1390:
1046:
737:
367:
125:
53:
7754:
7626:
7528:
7277:
7273:
7110:
7021:
6881:
6547:
6537:
5570:
5341:
5213:
4994:
4925:
4844:
4836:
4794:
4771:β machine translation, natural language processing, digital library
4610:
4445:
4181:
4106:
4066:
3720:
3493:
3489:
3369:
2772:
2679:
2649:
2641:
2549:
2539:
2318:
1882:
1684:
1572:
1481:
1472:
1460:
1148:
694:
318:
42:
7744:β James M. Beall Professor of Mathematics and Computer Science at
7570:β engineered first generation personal computers at Apple Computer
1825:β Edelman's Law, stochastic operator, Interactive Supercomputing,
7471:
7339:
7242:
7151:
5769:
4982:
4701:
4664:
4239:
3815:
3614:
3385:
3184:
3153:
2530:
2513:
2187:
2136:
1840:
1751:
1679:
1667:
1589:
1394:
1267:
943:
380:
314:
7573:
7483:
7456:
7213:
7007:
6356:
6227:
5440:
5436:
5428:
5237:
5163:
5055:
4592:
4527:
4322:
3990:
3480:
3416:
3260:
3126:
2687:
2596:
2509:
2207:
1960:
1906:
1381:
1181:
1050:
1000:
921:
878:
809:
490:
446:
329:
271:
7643:
7586:
7410:
7386:
7320:
7254:
7135:
7059:
6806:
6737:
6605:
6506:
6348:
6149:
5908:
5904:
5648:
5432:
5118:
4968:
4859:
4815:
Generalised
Enterprise Reference Architecture and Methodology
4384:
4314:
4306:
4033:
3856:
3836:
3806:
3771:
3684:
3662:
3528:
3122:
3070:
3035:
2936:
2776:
1817:
1808:
1556:(MIT) Laboratory for Computer Science (LCS) from 1974 to 2001
925:
539:
473:
442:
438:
423:
371:
325:
297:β computer pioneer, creator of Atanasoff Berry Computer (ABC)
243:
7852:
CiteSeer list of the most cited authors in computer science
7506:
7400:
7127:
7123:
6717:
5787:
5702:
5241:
3912:
3645:
3565:
3543:
3434:
2496:
2091:
1755:
1663:
1576:
1216:
1208:
1190:
1139:
1096:
772:
6834:. In 1920, built an early electromechanical device of the
3774:
programming language; Dartmouth
College computer professor
1829:
cocreator, high performance computing, numerical computing
7302:
7119:
6810:
5719:
5715:
5374:
5127:
4432:
3977:
3963:
3649:
3547:
3377:
2645:
2579:, Member Emeritus, IFIP WG 2.3 on Programming Methodology
785:β implementation of Iverson Notation (APL), co-developed
762:
640:
502:
190:
86:
3129:; gave speeches on computer history, where she gave out
7205:
4051:
Lions' Commentary on UNIX 6th
Edition, with Source Code
2610:
Portable, Extensible
Toolkit for Scientific Computation
523:(1925β2010) β pioneering Argentinian computer scientist
1608:
688:(1949β2003) β American computer scientist, founder of
5388:β speech technologist, engineering director at Google
5190:
implementation, expert in fairness, program schemas,
3121:(1906β1992) β developed early compilers: FLOW-Matic,
7774:
6844:β computational geometry, computational music theory
4942:β Nijssen's Information Analysis Methodology (NIAM)
618:β software engineering economics, spiral development
5856:β compositional models of meaning, machine learning
799:β early computer-graphics contributions, including
6657:β Italian engineer, of Chinese descent, leader of
6861:β computational complexity of scientific problems
6440:β computational complexity, distributed computing
1453:of LifeLock and Symantec's Consumer Business Unit
288:β established the computer science curriculum at
7863:
5456:(1920β1995) β British software engineer in 1960s
6249:β artificial intelligence and cognitive science
1687:β wrote important university level textbook on
5216:β former Chief Data Scientist of United States
1938:Aesthetics and the Human Factor in Programming
7658:Structured Systems Analysis and Design Method
6778:β AI researcher, pioneered autonomous driving
6291:researcher, cofounded Dest Systems, Cognition
6117:β systems programmer, artificial intelligence
1219:languages and dialects; programming textbooks
867:β methodology of product software development
690:Anita Borg Institute for Women and Technology
6790:β computation complexity, recipient of 1998
6432:Advanced Programming in the Unix Environment
3536:β compiling for parallel and vector machines
571:β one of the principal designers of the IBM
7799:List of Jewish American computer scientists
6040:β machine learning, artificial intelligence
5396:IEEE Computer Society Charles Babbage Award
4740:β machine learning, artificial intelligence
393:β programming languages, garbage collection
7301:β programming language design, the 'w' in
6320:, text analytics, multilingual text mining
4470:β entrepreneur, engineer and mathematician
1945:(1937β1985) β led development of original
624:β author of the structured program theorem
7857:Computer scientists with h-index >= 40
7766:β German pioneer of hardware and software
7352:, computer support for cooperative work,
6949:β compilers, databases, complexity theory
6894:(1912β1954) β British computing pioneer,
6423:(1951β1999) β author of books, including
5240:, redundant arrays of inexpensive disks (
353:β American computer scientist, known for
7819:List of programming language researchers
5766:structured analysis and design technique
5664:Europe of Data and Knowledge Engineering
4571:(Id, pH), compiling on parallel machines
137:β intersection of computing and teaching
7503:Integrated Computer-Aided Manufacturing
6555:β data privacy and algorithmic fairness
4140:β broadening participation in computing
2525:β programming language compilers (GAT,
1780:β Distributed Systems, TU Wien, Austria
936:; ACM SIGPLAN 2009 PL Achievement Award
252:β programming language compilers (GAT,
7864:
6022:β concurrent and distributed computing
4242:developer, book author; co-developer:
3183:randomized program testing framework;
1333:β machine learning, pattern analysis,
7829:List of Slovenian computer scientists
6446:β computer security, machine learning
3156:language design, textbooks on it and
2954:teaching, research, commercialising,
2529:(MAD)), virtual memory architecture,
1949:(PC); known as "father of the IBM PC"
1554:Massachusetts Institute of Technology
256:(MAD)), virtual memory architecture,
7809:List of pioneers in computer science
7403:developer, assembler-linker designer
5736:β REMORA methodology, meta modelling
4373:on Algorithmic Languages and Calculi
2869:course, natural translation theory,
2495:β Network extensible Window System (
2375:Language identification in the limit
7014:(MT) theory and practice including
6988:β professor of computer science at
5617:(MVC) software architecture pattern
2836:Association for Computing Machinery
2133:β computational theoretical physics
1147:(1923–2003) β formulated the
791:Scientific Time Sharing Corporation
13:
7834:List of Indian computer scientists
6684:β Mach kernel team, NeXT, Mac OS X
6152:(medical diagnostic expert system)
5756:β Automatically Programmed Tools (
3040:communicating sequential processes
2820:β ultra-reliable software design,
1642:Go To Statement Considered Harmful
14:
7893:
7845:
6732:and Bon languages (precursors of
6630:β conceptual modelling foundation
5807:β complexity theory, cryptography
5801:β mathematician, writer, educator
5666:, COLOR-X event modeling language
4722:developer, co-founder and CTO of
1104:β computer scientist and activist
7777:
7361:β nontraditional data management
7266:, interaction (computer science)
6799:β mobile ad hoc networks pioneer
6299:enterprise architecture planning
5937:β discovery of complexity class
5234:reduced instruction set computer
5042:, Director of Research at Google
3175:β structuring computations with
3073:programmer, developed the first
498:(1934β2024) β computer designer
7077:Normalized compression distance
6964:computational complexity theory
6935:computer-mediated communication
6830:(1913), introduced the idea of
6740:character encoding, introduced
6716:β mainly designed and authored
6516:computational complexity theory
6498:SolovayβStrassen primality test
6385:computational complexity theory
5968:computational complexity theory
5631:, Forsythe, Gedanken language,
4868:(1903β1957) β early computers,
4862:programmer and control designer
4858:(1911β1963) β early computers,
4461:β algorithms, data structures,
4077:computational complexity theory
4000:computational complexity theory
3637:The Art of Computer Programming
2890:computational complexity theory
2881:computational complexity theory
2450:computational complexity theory
2437:computational complexity theory
2416:computational complexity theory
1918:, electronic publishing system
832:RC 4000 multiprogramming system
418:(1924β2011) β one of the first
7448:CoppersmithβWinograd algorithm
6855:β business information systems
4825:satisfiability modulo theories
4367:Epigram (programming language)
2996:β open source, cloud computing
2638:Resource Description Framework
2200:League for Programming Freedom
1543:and balance set, President of
1264:Compatible Time-Sharing System
1110:β mathematics of combinators,
542:, software as protected speech
470:Sequential Formula Translation
317:, parallel Haskell front end,
63:algorithmic information theory
1:
7882:Lists of people by occupation
7840:
7824:List of Russian IT developers
7197:computational learning theory
7160:Japanese Industrial Standards
6981:computational learning theory
6968:computational learning theory
6072:β algorithms, data structures
5779:Python (programming language)
5627:, definitional interpreters,
5583:history of computing hardware
5224:Instruction-level parallelism
4478:Eiffel (programming language)
3694:algorithmic complexity theory
3690:Andrey Nikolaevich Kolmogorov
3393:β natural language processing
2867:computer-assisted translation
2055:β Internet congestion control
909:end-user software engineering
246:, human-centered data science
189:β compilers book, the 'a' in
7872:Lists of computer scientists
7132:Internet Software Consortium
6277:programming by demonstration
6160:electronic design automation
6034:β command-line shell, e-mail
6028:β humanβcomputer interaction
4964:Theoretical Computer Science
4959:theoretical computer science
4783:β humanβcomputer interaction
4752:β human-computer interaction
3909:Swift (programming language)
2563:Abstract family of languages
2159:convolutional neural network
1827:Julia (programming language)
1159:β computer science professor
1063:β Belgian computer scientist
905:visual programming languages
830:(surname "Brinch Hansen") β
672:rotating drum storage device
7:
7770:
7727:β artificial intelligence,
7707:database management systems
7590:system programming language
7550:comb operator, rep operator
7455:β artificial intelligence,
7369:database management systems
7319:β artificial intelligence,
7264:object-oriented programming
6230:'s high performance network
6217:, artificial intelligence,
5947:natural language processing
5637:polymorphic lambda calculus
5545:natural language processing
5226:, speculative architectures
5060:object-oriented programming
4733:Inductive Logic Programming
4532:Mesa (programming language)
4381:Lisp (programming language)
4369:with James McKinna; member
4298:Ruby (programming language)
3602:Natural language processing
3574:aspect-oriented programming
2759:, process synchronization,
2757:inter-process communication
1625:DiffieβHellman key exchange
1535:β identified the use of an
1386:object-oriented programming
1030:, leadership in developing
992:Compaq Computer Corporation
819:unified memory architecture
313:, Cayenne), compilers (HBC
286:Winifred "Tim" Alice Asprey
96:business process management
35:list of computer scientists
10:
7898:
7533:Ada (programming language)
7350:human computer interaction
7103:compressed data structures
7081:Normalized Google distance
6888:and Coining the term 'bit'
6472:high performance computing
6137:humanβcomputer interaction
5288:humanβcomputer interaction
4454:ABC (programming language)
4332:multi-objective clustering
4246:, Haxl remote data access
3951:Introduction to Algorithms
3943:cache-oblivious algorithms
3469:β NP optimization problems
3248:Lua (programming language)
3169:, used in data compression
2573:The Science of Programming
2542:, programming environments
2527:Michigan Algorithm Decoder
2222:MAD (programming language)
2155:artificial neural networks
1727:(1901β1987) β designer of
1720:human computer interaction
1701:high performance computing
1689:humanβcomputer interaction
1301:computational neuroscience
1227:dynamic Markov compression
254:Michigan Algorithm Decoder
17:
7464:β artificial intelligence
7422:, artificial intelligence
7420:computational linguistics
7226:β artificial intelligence
6917:Kent Recursive Calculator
6886:exploratory data analysis
6832:floating-point arithmetic
6767:domain-specific languages
6336:computational criminology
6141:information visualization
5991:recurrent neural networks
5820:Unified Modeling Language
5358:recursive function theory
4777:β pioneered computer arts
4536:Spring (operating system)
4496:ML (programming language)
4437:Berkeley Fast File System
4163:Automated theorem proving
3894:Portable Network Graphics
3349:Vienna Development Method
3299:Unified Modeling Language
3205:Personal Software Process
2865:research, Canada's first
2606:Message Passing Interface
1670:OS-level virtualisation,
1579:cofounder, president, CEO
1080:entity-relationship model
913:gender-inclusive software
650:Unified Modeling Language
560:Vienna Development Method
449:(1951) to develop early "
426:(1946), one of the first
387:, first complete compiler
7794:List of computing people
7336:Michigan Terminal System
6672:β analysis of algorithms
6281:graphical user interface
6016:β cryptography, security
5997:, artificial curiosity,
5951:mathematical linguistics
5699:C (programming language)
5536:nondeterministic machine
5371:Glasgow Haskell Compiler
4829:extended static checking
4244:Glasgow Haskell Compiler
4171:Complex event processing
3426:digital image processing
3104:, logic model checking (
2803:Apollo Guidance Computer
2469:algorithmic graph theory
2407:off-the-record messaging
2310:human-centered computing
2131:Charlotte Froese Fischer
2063:evolutionary programming
1887:quantitative trait locus
1729:Apollo Guidance Computer
1617:linear response function
1426:Vehicular ad hoc network
1313:brain-computer interface
1173:computational creativity
836:operating system kernels
593:National Security Agency
258:Michigan Terminal System
236:β compiler of text books
48:Some persons notable as
37:, people who do work in
7385:β Dutch pioneer; ARRA,
7383:Adriaan van Wijngaarden
7218:Warren Abstract Machine
6818:(1852β1936) β invented
6816:Leonardo Torres Quevedo
6615:Artificial Intelligence
6255:β information modelling
6202:artificial intelligence
5887:artificial intelligence
5824:Object Management Group
5601:artificial intelligence
5349:programmable calculator
5340:β computer designer at
5311:artificial intelligence
5290:, Carnegie professor, "
5246:Network of Workstations
5040:artificial intelligence
5010:artificial intelligence
4987:artificial intelligence
4935:artificial intelligence
4918:artificial intelligence
4895:artificial intelligence
4880:, mathematics pioneer,
4765:β anticipation research
4746:β programming languages
4511:artificial intelligence
4420:artificial intelligence
4393:artificial intelligence
4305:(1907β1980) β designed
4289:Hilbert's tenth problem
4266:information engineering
4205:Nadia Magnenat Thalmann
4009:artificial intelligence
3960:artificial intelligence
3915:compiler infrastructure
3764:β underwater roboticist
3672:Artificial intelligence
3303:Object Management Group
3140:artificial intelligence
3023:artificial intelligence
2925:predicative programming
2695:Oberon operating system
2629:handwriting recognition
2465:Martin Charles Golumbic
1966:Christopher Riche Evans
1711:ant colony optimization
1646:semaphore (programming)
1438:Wireless ad hoc network
1335:artificial intelligence
1283:abstract interpretation
1024:programming methodology
654:Object Management Group
229:natural user interfaces
182:human-based computation
130:artificial intelligence
7559:Beatrice Helen Worsley
7407:Maurice Vincent Wilkes
7332:Franklin H. Westervelt
7239:functional programming
7164:Happy Hacking Keyboard
6760:functional programming
6589:computational geometry
6494:integer multiplication
6481:denotational semantics
6464:finite element machine
6314:Rohini Kesavan Srihari
6263:reflective programming
5914:Mahadev Satyanarayanan
5495:β numerical algorithms
5480:computational geometry
5367:functional programming
5333:spanning tree protocol
5260:analysis of algorithms
5179:Christos Papadimitriou
5002:β computerized banking
4669:I. P. Sharp Associates
4562:dataflow architectures
4429:Marshall Kirk McKusick
4371:IFIP Working Group 2.1
4363:functional programming
4275:software craftsmanship
3987:GausebeckβLevchin test
3886:Independent JPEG Group
3877:denotational semantics
3873:functional programming
3570:reflective programming
2871:community interpreting
2289:functional programming
1879:latent variable models
1522:educational technology
1275:β open-source software
1245:Fast Fourier transform
884:The Mythical Man-Month
848:concurrent programming
699:Cascading Style Sheets
679:β developed the first
670:β developed the first
466:Stack (data structure)
295:John Vincent Atanasoff
268:The Internet of Things
266:β pioneered and named
79:Mobile Cloud Computing
7270:Joseph Henry Wegstein
7069:Kolmogorov complexity
7048:β enterprise modeling
6904:computer architecture
6762:research, textbooks;
6490:matrix multiplication
6318:information retrieval
6179:computer-aided design
6164:reliability computing
6065:distributed computing
6057:programming languages
5901:programming languages
5878:programming languages
5869:information retrieval
5762:Computer-aided design
5615:modelβviewβcontroller
5549:information retrieval
5523:graph transformations
5488:computational biology
5094:Infer Static Analyzer
5018:evolutionary robotics
4856:Klara Dan von Neumann
4569:programming languages
4560:, developing dynamic
4349:computer architecture
4129:computer data storage
4111:distributed computing
4095:programming languages
4086:programming languages
3869:programming languages
3803:distributed computing
3520:computational biology
3462:Karmarkar's algorithm
3244:Roberto Ierusalimschy
3213:Team Software Process
3102:software verification
2979:computer architecture
2790:Philipp MatthΓ€us Hahn
2769:programming languages
2765:software verification
2691:programming languages
2398:algorithm engineering
2297:computational biology
2163:unsupervised learning
1947:IBM Personal Computer
1743:information retrieval
1500:computational origami
1093:Leonardo Chiariglione
974:Martin Campbell-Kelly
856:distributed computing
801:Bresenham's algorithm
759:Karlheinz Brandenburg
360:Roland Carl Backhouse
355:Integrated Data Store
221:β volunteer computing
200:compiler optimization
7735:, and decentralized
7697:pseudo-random number
7688:termination analysis
7668:
7610:
7409:β microprogramming,
7328:β EDSAC, subroutines
7312:ubiquitous computing
7162:(JIS) X 0208, 0212,
7141:
7095:Jeffrey Scott Vitter
7073:Information distance
6953:
6940:
6869:computability theory
6828:Essays on Automatics
6572:
6477:Christopher Strachey
6269:David Canfield Smith
6259:Brian Cantwell Smith
6215:software engineering
6146:Edward H. Shortliffe
5982:calculating machines
5962:for polynomial time
5842:
5690:C. J. van Rijsbergen
5499:
5476:computer engineering
5338:Pier Giorgio Perotto
5196:concurrent computing
5186:(1935β1990) β first
5153:
5148:interference freedom
5130:programming language
5078:programming language
5065:
4944:objectβrole modeling
4833:program verification
4756:
4711:randomized algorithm
4689:Robert Tappan Morris
4650:β string searching,
4345:ubiquitous computing
4198:
4103:program optimization
3939:Charles E. Leiserson
3778:
3703:case-based reasoning
3654:literate programming
3627:hierarchical routing
3397:
3324:Jordi Ustrell AguilΓ
3288:
3228:
3075:Sort Merge Generator
2753:software engineering
2738:
2659:computer performance
2620:ontology engineering
2577:Interference freedom
2559:Greibach normal form
2227:Hector Garcia-Molina
2177:
1985:
1784:
1725:Charles Stark Draper
1638:Dijkstra's algorithm
1518:software engineering
1451:information security
1362:
1292:digital watermarking
1255:open-source software
1123:, patent informatics
978:history of computing
949:
823:binary compatibility
777:quantum cryptography
752:β string searching,
521:Cecilia Berdichevsky
478:software engineering
420:computer programmers
338:
68:
24:adding missing items
7877:Computer scientists
7814:List of programmers
7622:Andrew Chi-Chih Yao
7605:Tartan Laboratories
7594:optimizing compiler
7495:β computer graphics
7342:, distance learning
7299:Peter J. Weinberger
7289:technical standards
7041:enterprise modeling
7012:machine translation
6977:pattern recognition
6742:regular expressions
6728:operating systems,
6598:Andrew S. Tanenbaum
6456:practice and theory
6454:relational database
6450:Michael Stonebraker
6416:generic programming
6328:pattern recognition
6129:β spatial computing
5980:β one of the first
5930:pervasive computing
5922:distributed systems
5854:Mehrnoosh Sadrzadeh
5674:medical informatics
5660:Reinder van de Riet
5629:defunctionalization
5484:parallel algorithms
5419:Willem van der Poel
5209:modular programming
5014:genetic programming
4899:Computer Structures
4878:functional analysis
4870:von Neumann machine
4807:β computer security
4738:Klaus-Robert MΓΌller
4652:ACL2 theorem prover
4554:formal verification
4319:Grace Murray Hopper
3757:Kruskal's algorithm
3739:genetic programming
3606:Machine translation
3585:Stephen Cole Kleene
3054:pattern recognition
2905:Igor Hawryszkiewycz
2901:and vulnerabilities
2863:machine translation
2714:, higher dimension
2285:generic programming
2088:Mahmoud Samir Fayed
1814:John Presper Eckert
1733:inertial navigation
1604:information systems
1529:β computer security
1457:Christopher J. Date
1260:Fernando J. CorbatΓ³
1196:Paul Justin Compton
1165:β computer security
754:ACL2 theorem prover
536:Daniel J. Bernstein
507:Computer Structures
75:Atta ur Rehman Khan
7733:automated planning
7729:anytime algorithms
7725:Shlomo Zilberstein
7617:Mihalis Yannakakis
7542:ambiguity function
7499:Dennis E. Wisnosky
7430:numerical analysis
7426:James H. Wilkinson
7202:David H. D. Warren
7193:Manfred K. Warmuth
6842:Godfried Toussaint
6696:Microsoft Research
6688:Charles P. Thacker
6525:Gerald Jay Sussman
6426:TCP/IP Illustrated
6421:W. Richard Stevens
6412:Alexander Stepanov
6390:Guy L. Steele, Jr.
6381:Richard E. Stearns
6242:amortized analysis
6211:multiagent systems
6175:wearable computing
6104:information theory
6038:Bernhard SchΓΆlkopf
6026:Sarita Schoenebeck
5987:JΓΌrgen Schmidhuber
5973:Jonathan Schaeffer
5960:AKS Primality test
5833:computer scientist
5633:intersection types
5527:concurrent systems
5511:Grzegorz Rozenberg
5386:Roberto Pieraccini
5363:Simon Peyton Jones
5344:, designer of the
5324:Programming Pearls
5205:information hiding
5101:β Ferranti Mercury
4951:β proof assistance
4882:linear programming
4850:Bernard de Neumann
4843:theorem prover in
4602:concurrency theory
4589:numerical analysis
4579:Domain Name System
4566:parallel computing
4294:Yukihiro Matsumoto
4227:creative computing
4151:β first programmer
4101:, program design,
4065:Revised Report on
4057:Charles H. Lindsey
4005:Kevin Leyton-Brown
3924:Edward D. Lazowska
3818:, founding member
3525:John George Kemeny
3511:AKS primality test
3458:Narendra Karmarkar
3408:numerical analysis
3334:Stephen C. Johnson
3275:Kenneth E. Iverson
3223:speech recognition
3145:Alston Householder
3084:genetic algorithms
3080:John Henry Holland
3004:Connection Machine
2720:John Horton Conway
2634:Ramanathan V. Guha
2390:Andrew V. Goldberg
2184:Richard P. Gabriel
2147:Kunihiko Fukushima
2126:Daniel P. Friedman
2030:Gary William Flake
1875:Barbara Engelhardt
1630:Edsger W. Dijkstra
1527:Dorothy E. Denning
1371:β designer of the
1121:speech recognition
1117:Alberto Ciaramella
969:wireless computing
956:Pino Caballero Gil
860:parallel computing
512:Steven M. Bellovin
482:BauerβFike theorem
462:Friedrich L. Bauer
407:Anthony James Barr
309:β languages (Lazy
307:Lennart Augustsson
213:Amdahl Corporation
171:β polynomial-time
7720:real-time systems
7578:computer networks
7397:Mary Allen Wilkes
7317:Joseph Weizenbaum
7210:logic programming
7090:Viterbi algorithm
7037:François Vernadat
7032:Manuela M. Veloso
7017:Vauquois triangle
6947:Jeffrey D. Ullman
6836:Analytical Engine
6705:computer graphics
6628:Bernhard Thalheim
6602:operating systems
6593:computer security
6567:quantum computing
6563:complexity theory
6503:Bjarne Stroustrup
6345:Maciej Stachowiak
6207:Munindar P. Singh
6183:rapid prototyping
6078:β compilers, 2nd
6020:Fred B. Schneider
5978:Wilhelm Schickard
5964:primality testing
5943:Savitch's theorem
5897:operating systems
5795:β waterfall model
5654:Joyce K. Reynolds
5592:Duration Calculus
5541:Dragomir R. Radev
5515:natural computing
5454:Cicely Popplewell
5431:(renamed POP-1),
5425:Robin Popplestone
5400:ACM Fellow (2012)
5315:search algorithms
4931:Nils John Nilsson
4908:Colossus computer
4886:quantum mechanics
4729:Stephen Muggleton
4720:quantum computing
4524:James G. Mitchell
4285:Yuri Matiyasevich
4209:computer graphics
4175:Rational Software
4144:Gillian Lovegrove
4138:Patricia D. Lopez
4133:computer security
4115:computer security
4091:Yanhong Annie Liu
4073:Richard J. Lipton
4031:operating systems
3863:member, advanced
3785:Richard E. Ladner
3730:logic programming
3699:Janet L. Kolodner
3611:Leonard Kleinrock
3579:Peter T. Kirstein
3437:, FreeBSD Jails,
3431:Poul-Henning Kamp
3355:Michael I. Jordan
3058:logic programming
2834:, founder of the
2818:Margaret Hamilton
2749:operating systems
2663:capacity planning
2405:β cryptographer,
2271:Zoubin Ghahramani
2111:Herbert W. Franke
2059:Lawrence J. Fogel
2039:Colossus computer
2010:computer security
1997:Edward Feigenbaum
1975:computer graphics
1858:Douglas Engelbart
1805:Wim Ebbinkhuijsen
1560:Alexander Dewdney
1550:Michael Dertouzos
1514:computer security
1447:computer security
1418:Wireless Networks
1405:computer graphics
1331:Nello Cristianini
1205:Richard W. Conway
1200:Ripple Down Rules
1071:duration calculus
1042:computer graphics
1020:Michael Caspersen
924:(renamed POP-1),
865:Sjaak Brinkkemper
858:& processes,
852:Concurrent Pascal
828:Per Brinch Hansen
797:Jack E. Bresenham
783:Lawrence M. Breed
730:Stephen R. Bourne
704:Mikhail Botvinnik
681:assembly language
575:line of computers
370:problem solving,
362:β mathematics of
303:β database theory
240:Cecilia R. Aragon
219:David P. Anderson
173:primality testing
143:β database theory
117:complexity theory
113:quantum computing
92:Wil van der Aalst
59:complexity theory
7889:
7787:
7782:
7781:
7780:
7601:operating system
7439:ARM architecture
7107:data compression
7056:software testing
7004:computer science
7000:Bernard Vauquois
6824:the chess player
6585:Roberto Tamassia
6444:Salvatore Stolfo
6438:Larry Stockmeyer
6407:Beowulf clusters
6362:Richard Stallman
6332:machine learning
6224:Ramesh Sitaraman
6198:Herbert A. Simon
6194:β model checking
6171:mobile computing
6156:Daniel Siewiorek
6070:Robert Sedgewick
6053:Michael L. Scott
6032:Glenda Schroeder
5926:mobile computing
5793:Winston W. Royce
5775:Guido van Rossum
5749:Azriel Rosenfeld
5670:Bernard Richards
5645:separation logic
5621:John C. Reynolds
5611:Trygve Reenskaug
5532:Michael O. Rabin
5493:William H. Press
5472:Franco Preparata
5275:Lawrence Paulson
5162:β co-founder of
5086:separation logic
4991:machine learning
4922:machine learning
4866:John von Neumann
4791:BackusβNaur form
4716:Oleg A. Mukhanov
4648:J Strother Moore
4620:Charles H. Moore
4575:Paul Mockapetris
4540:ARM architecture
4503:β database logic
4442:Lambert Meertens
4271:Robert C. Martin
4014:J.C.R. Licklider
3945:, provably good
3929:Joshua Lederberg
3748:SEQUAL framework
3676:bayesian network
3623:packet switching
3593:recursion theory
3374:Sun Microsystems
3365:Aravind K. Joshi
3329:David S. Johnson
3209:Software quality
3163:David A. Huffman
3089:Herman Hollerith
3027:machine learning
3014:Julia Hirschberg
2994:Kelsey Hightower
2975:John L. Hennessy
2956:Open Kernel Labs
2952:operating system
2915:provably correct
2899:software failure
2712:computer algebra
2583:Robert Griesemer
2523:Robert M. Graham
2488:machine learning
2442:Shafi Goldwasser
2328:formal languages
2324:Seymour Ginsburg
2025:Donald Firesmith
1854:β model checking
1852:E. Allen Emerson
1848:β supercomputing
1846:Philip Emeagwali
1778:Schahram Dustdar
1769:Jon Michael Dunn
1735:", MIT professor
1613:Whitfield Diffie
1537:operating system
1533:Peter J. Denning
1464:relational model
1422:Mobile Computing
1373:Dadda multiplier
1178:Alain Colmerauer
1152:relational model
1127:Edmund M. Clarke
1088:conceptual model
983:Rosemary Candlin
901:Margaret Burnett
890:No Silver Bullet
808:β co-founder of
516:network security
385:BackusβNaur form
364:computer program
196:Frances E. Allen
169:Manindra Agrawal
41:, in particular
39:computer science
28:reliable sources
7897:
7896:
7892:
7891:
7890:
7888:
7887:
7886:
7862:
7861:
7848:
7843:
7838:
7783:
7778:
7776:
7773:
7753:β cofounder of
7751:Mark Zuckerberg
7746:Goucher College
7671:
7613:
7538:Philip Woodward
7512:Stephen Wolfram
7462:Patrick Winston
7444:Shmuel Winograd
7346:Steve Whittaker
7286:data processing
7144:
7099:external memory
7052:Sergiy Vilkomir
7046:Richard Veryard
6995:Dorothy Vaughan
6990:Rice University
6973:Vladimir Vapnik
6956:
6943:
6848:Gloria Townsend
6782:Walter F. Tichy
6776:Sebastian Thrun
6701:Daniel Thalmann
6575:
6553:Latanya Sweeney
6544:Ivan Sutherland
6534:Bert Sutherland
6486:Volker Strassen
6403:Thomas Sterling
6304:Carol Spradling
6273:interface icons
6226:β helped build
6219:social networks
6187:fault tolerance
6133:Ben Shneiderman
6096:, cryptanalysis
6004:Steve Schneider
5893:Carl Sassenrath
5849:George Sadowsky
5845:
5754:Douglas T. Ross
5734:Colette Rolland
5679:Martin Richards
5575:fault tolerance
5519:automata theory
5506:Rapelang Rabana
5502:
5302:software agents
5270:data structures
5230:David Patterson
5174:Paritosh Pandya
5156:
5124:John Ousterhout
5115:John O'Sullivan
5110:Severo Ornstein
5105:Steve Omohundro
5099:T. William Olle
5068:
5052:Kristen Nygaard
5027:user interfaces
4759:
4659:β co-developed
4630:Edward F. Moore
4558:digital systems
4545:Tom M. Mitchell
4519:Society of Mind
4416:Chris McKinstry
4411:Unix philosophy
4403:Douglas McIlroy
4398:Andrew McCallum
4201:
3900:BΓΆrje Langefors
3865:lambda calculus
3853:syntactic sugar
3781:
3768:Thomas E. Kurtz
3762:Maarja Kruusmaa
3726:Robert Kowalski
3681:Michael KΓΆlling
3619:queueing theory
3562:Gregor Kiczales
3540:Brian Kernighan
3527:β the language
3467:Marek Karpinski
3453:NP-completeness
3400:
3291:
3270:Mary Jane Irwin
3231:
3219:Sandra Hutchins
3187:language design
3098:Gerard Holzmann
3067:Betty Holberton
3062:cancer research
3009:Geoffrey Hinton
2877:Juris Hartmanis
2873:(Critical Link)
2828:Richard Hamming
2741:
2729:Anna University
2655:Neil J. Gunther
2625:Shelia Guberman
2555:Sheila Greibach
2536:Susan L. Graham
2476:β cofounder of
2424:computer ethics
2420:decision theory
2345:Robert L. Glass
2340:database theory
2332:automata theory
2306:Juan E. Gilbert
2276:Sanjay Ghemawat
2266:Charles Geschke
2255:David Gelernter
2248:β cofounder of
2236:NP-completeness
2196:Worse is Better
2180:
2172:D. R. Fulkerson
2078:L. R. Ford, Jr.
2048:NP-completeness
1988:
1924:multiprocessing
1910:; first Soviet
1787:
1773:relevance logic
1619:) β public key
1575:, chairperson;
1510:Richard DeMillo
1459:β proponent of
1434:Mesh networking
1430:Sensor Networks
1401:Andries van Dam
1365:
1309:neurotechnology
1236:NP-completeness
1112:lambda calculus
1061:Robert Cailliau
1056:Gregory Chaitin
1026:, education in
990:β cofounder of
952:
769:Gilles Brassard
750:Robert S. Boyer
637:slab allocation
527:Tim Berners-Lee
351:Charles Bachman
345:Charles Babbage
341:
301:Shakuntala Atre
156:Leonard Adleman
147:Samson Abramsky
141:Serge Abiteboul
71:
31:
12:
11:
5:
7895:
7885:
7884:
7879:
7874:
7860:
7859:
7854:
7847:
7846:External links
7844:
7842:
7839:
7837:
7836:
7831:
7826:
7821:
7816:
7811:
7806:
7801:
7796:
7790:
7789:
7788:
7772:
7769:
7768:
7767:
7761:
7759:Meta Platforms
7748:
7742:Jill Zimmerman
7739:
7722:
7716:formal methods
7709:
7703:Stanley Zdonik
7700:
7690:
7681:
7670:
7667:
7666:
7665:
7660:
7654:Edward Yourdon
7651:
7640:Yoneda product
7629:
7624:
7619:
7612:
7609:
7608:
7607:
7580:
7571:
7565:
7556:
7535:
7518:
7509:
7496:
7490:
7465:
7459:
7453:Terry Winograd
7450:
7441:
7432:
7423:
7413:
7404:
7394:
7380:
7374:Norbert Wiener
7371:
7365:Gio Wiederhold
7362:
7359:Jennifer Widom
7356:
7343:
7329:
7323:
7314:
7305:
7296:
7267:
7257:
7232:
7227:
7221:
7199:
7190:
7185:
7180:
7175:
7166:
7143:
7140:
7139:
7138:
7113:
7092:
7086:Andrew Viterbi
7083:
7062:
7049:
7043:
7034:
7029:
7027:Umesh Vazirani
7024:
6997:
6992:
6983:
6970:
6960:Leslie Valiant
6955:
6952:
6951:
6950:
6942:
6939:
6938:
6937:
6928:
6906:
6902:, cryptology,
6896:Turing machine
6889:
6871:
6865:John V. Tucker
6862:
6859:Joseph F Traub
6856:
6853:Edwin E. Tozer
6850:
6845:
6839:
6820:El Ajedrecista
6813:
6803:Linus Torvalds
6800:
6797:Chai Keong Toh
6794:
6788:Seinosuke Toda
6785:
6779:
6773:
6756:Simon Thompson
6753:
6748:, co-authored
6711:
6698:
6685:
6679:
6673:
6670:Shang-Hua Teng
6667:
6662:
6652:
6650:Valerie Taylor
6647:
6641:
6636:
6631:
6625:
6623:Virtual Worlds
6617:Applications,
6608:
6595:
6582:
6574:
6571:
6570:
6569:
6556:
6550:
6541:
6531:
6522:
6509:
6500:
6483:
6474:
6468:linear algebra
6460:Olaf Storaasli
6457:
6447:
6441:
6435:
6418:
6409:
6400:
6387:
6378:
6373:
6371:Ronald Stamper
6368:
6364:(born 1953) β
6359:
6342:
6324:Sargur Srihari
6321:
6311:
6309:Robert Sproull
6306:
6301:
6292:
6266:
6256:
6250:
6244:
6234:Daniel Sleator
6231:
6221:
6204:
6195:
6192:Joseph Sifakis
6189:
6153:
6143:
6130:
6127:Shashi Shekhar
6124:
6118:
6112:
6106:
6100:Claude Shannon
6097:
6087:
6085:Nigel Shadbolt
6082:
6073:
6067:
6050:
6041:
6035:
6029:
6023:
6017:
6014:Bruce Schneier
6011:
6008:formal methods
6001:
5984:
5975:
5970:
5953:
5935:Walter Savitch
5932:
5911:
5890:
5880:
5874:Jean E. Sammet
5871:
5862:
5857:
5851:
5844:
5841:
5840:
5839:
5826:
5816:James Rumbaugh
5813:
5808:
5802:
5796:
5790:
5781:
5772:
5751:
5746:
5742:β codeveloped
5737:
5731:
5729:formal methods
5722:
5705:
5695:Dennis Ritchie
5692:
5687:
5682:
5676:
5667:
5657:
5651:
5618:
5608:
5603:
5594:
5588:Anders P. Ravn
5585:
5564:
5551:
5538:
5529:
5508:
5501:
5498:
5497:
5496:
5490:
5469:
5463:
5457:
5451:
5422:
5416:
5414:temporal logic
5407:
5405:Gordon Plotkin
5402:
5392:Keshav Pingali
5389:
5383:
5377:
5360:
5351:
5335:
5326:
5317:
5304:
5295:
5286:(1960β2008) β
5281:
5272:
5266:Mihai PΔtraΕcu
5263:
5249:
5227:
5217:
5211:
5198:
5181:
5176:
5171:
5166:
5155:
5152:
5151:
5150:
5141:
5131:
5121:
5112:
5107:
5102:
5096:
5079:
5072:Martin Odersky
5067:
5064:
5063:
5062:
5049:
5046:George Novacky
5043:
5033:
5020:
5003:
4997:
4979:Phiwa Nkambule
4976:
4952:
4946:
4937:
4933:(1933β2019) β
4928:
4911:
4901:
4888:
4863:
4853:
4847:
4823:(1953β2015) β
4818:
4808:
4802:
4789:(1928β2016) β
4784:
4778:
4772:
4766:
4758:
4755:
4754:
4753:
4747:
4741:
4735:
4726:
4713:
4707:Rajeev Motwani
4704:
4695:
4686:
4684:formal methods
4680:Carroll Morgan
4677:
4671:
4663:\360, created
4654:
4645:
4636:
4627:
4617:
4604:
4595:
4582:
4572:
4547:
4542:
4521:
4504:
4498:
4489:
4480:
4474:Bertrand Meyer
4471:
4465:
4456:
4439:
4426:
4413:
4400:
4395:
4374:
4352:
4338:
4336:Bioinformatics
4325:
4300:
4291:
4282:
4277:
4273:(Uncle Bob) β
4268:
4259:
4250:
4233:
4220:
4215:
4200:
4197:
4196:
4195:
4190:
4185:
4152:
4146:
4141:
4135:
4122:
4088:
4082:Barbara Liskov
4079:
4070:
4054:
4044:
4024:Jochen Liedtke
4021:
4016:
4011:
4002:
3993:
3980:
3974:Rasmus Lerdorf
3971:
3966:
3953:
3949:, coauthor of
3936:
3934:Manny M Lehman
3931:
3926:
3921:
3919:Steve Lawrence
3916:
3902:
3897:
3879:
3830:
3812:Butler Lampson
3809:
3795:Leslie Lamport
3792:
3787:
3780:
3777:
3776:
3775:
3770:(born 1928) β
3765:
3759:
3753:Joseph Kruskal
3750:
3741:
3732:
3723:
3714:
3705:
3696:
3687:
3678:
3665:
3656:
3629:
3608:
3595:
3589:Kleene closure
3582:
3576:
3559:
3557:grid computing
3553:Carl Kesselman
3550:
3542:(born 1942) β
3537:
3531:
3522:
3516:Manolis Kellis
3513:
3504:
3500:, overlapping
3487:
3470:
3464:
3455:
3446:
3441:
3428:
3419:
3413:Robert E. Kahn
3410:
3399:
3396:
3395:
3394:
3388:
3372:(born 1954) β
3367:
3362:
3357:
3352:
3342:
3336:
3331:
3326:
3321:
3319:Jonathan James
3316:
3311:
3305:
3290:
3287:
3286:
3285:
3272:
3267:
3250:
3241:
3230:
3227:
3226:
3225:
3221:(born 1946) β
3216:
3203:(1927β2010) β
3201:Watts Humphrey
3198:
3188:
3170:
3167:Huffman coding
3165:(1925β1999) β
3160:
3158:computer music
3152:(1952β2015) β
3147:
3142:
3133:
3115:
3109:
3095:
3086:
3077:
3064:
3048:(1934β2008) β
3043:
3032:C. A. R. Hoare
3029:
3016:
3011:
3006:
2997:
2991:
2986:
2984:Andrew Herbert
2981:
2972:
2963:
2945:
2942:Martin Hellman
2939:
2933:quote notation
2929:formal methods
2918:
2908:
2902:
2892:
2883:
2874:
2856:
2847:
2838:
2825:
2824:space missions
2822:Apollo program
2815:
2813:Joseph Halpern
2810:
2805:
2796:
2787:
2745:Nico Habermann
2740:
2737:
2736:
2735:
2722:
2697:
2668:JΓΌrg Gutknecht
2665:
2652:
2631:
2622:
2613:
2599:
2593:Ralph Griswold
2590:
2580:
2566:
2552:
2543:
2533:
2520:
2503:
2490:
2484:Ian Goodfellow
2481:
2478:Waterloo Maple
2471:
2462:
2452:
2439:
2429:Oded Goldreich
2426:
2412:Judy Goldsmith
2409:
2400:
2387:
2381:Adele Goldberg
2378:
2367:
2362:
2357:
2347:
2342:
2321:
2312:
2303:
2301:bioinformatics
2293:formal methods
2281:Jeremy Gibbons
2278:
2273:
2268:
2263:
2257:
2252:
2243:
2238:
2229:
2224:
2218:Bernard Galler
2215:
2210:
2179:
2176:
2175:
2174:
2169:
2161:architecture,
2144:
2139:
2134:
2128:
2123:
2118:
2116:Edward Fredkin
2113:
2108:
2103:
2098:
2085:
2080:
2075:
2070:
2068:James D. Foley
2065:
2056:
2050:
2041:
2032:
2027:
2022:
2020:Raphael Finkel
2017:
2012:
2003:
1994:
1987:
1984:
1983:
1982:
1977:
1971:David C. Evans
1968:
1963:
1950:
1940:
1895:
1893:David Eppstein
1890:
1872:
1870:computer mouse
1855:
1849:
1843:
1830:
1820:
1811:
1802:
1797:
1786:
1783:
1782:
1781:
1775:
1766:
1745:
1736:
1722:
1713:
1704:
1698:linear algebra
1691:
1682:
1656:Matthew Dillon
1653:
1627:
1610:
1600:decay constant
1593:
1580:
1562:
1557:
1552:β Director of
1547:
1530:
1524:
1507:
1502:
1493:
1475:
1469:Terry A. Davis
1466:
1454:
1440:
1411:
1398:
1388:
1378:Ole-Johan Dahl
1375:
1364:
1361:
1360:
1359:
1354:
1348:
1346:W. Bruce Croft
1343:
1337:
1328:
1315:
1294:
1285:
1279:Patrick Cousot
1276:
1270:
1257:
1248:
1238:
1229:
1225:β co-invented
1223:Gordon Cormack
1220:
1202:
1193:
1184:
1175:
1166:
1160:
1154:
1142:
1133:
1131:model checking
1124:
1114:
1105:
1099:
1090:
1073:
1064:
1058:
1053:
1044:
1035:
1028:OO programming
1017:
1013:β codeveloped
1008:
1003:
997:Bryan Cantrill
994:
985:
980:
971:
962:
951:
948:
947:
946:
940:Michael Butler
937:
915:
898:
893:
868:
862:
825:
815:David J. Brown
812:
803:
794:
780:
766:
756:
747:
741:
727:
725:formal methods
717:Jonathan Bowen
714:
712:computer chess
701:
692:
683:
677:Kathleen Booth
674:
665:
656:
643:
630:
628:Kurt Bollacker
625:
619:
613:
604:
595:
586:
581:
576:
566:
553:
548:
543:
533:
531:World Wide Web
524:
518:
509:
493:
484:
459:
454:
451:stored program
413:
404:
399:
394:
391:David F. Bacon
388:
374:
366:construction,
357:
348:
340:
337:
336:
335:
333:device drivers
304:
298:
292:
290:Vassar College
283:
274:
261:
247:
237:
231:
222:
216:
202:
193:
184:
175:
166:
153:
151:game semantics
144:
138:
132:
119:
109:Scott Aaronson
106:
100:process mining
89:
70:
67:
9:
6:
4:
3:
2:
7894:
7883:
7880:
7878:
7875:
7873:
7870:
7869:
7867:
7858:
7855:
7853:
7850:
7849:
7835:
7832:
7830:
7827:
7825:
7822:
7820:
7817:
7815:
7812:
7810:
7807:
7805:
7802:
7800:
7797:
7795:
7792:
7791:
7786:
7775:
7765:
7762:
7760:
7756:
7752:
7749:
7747:
7743:
7740:
7738:
7734:
7730:
7726:
7723:
7721:
7717:
7713:
7712:Hussein Zedan
7710:
7708:
7704:
7701:
7698:
7694:
7691:
7689:
7685:
7682:
7680:
7676:
7673:
7672:
7664:
7661:
7659:
7655:
7652:
7649:
7645:
7641:
7637:
7633:
7630:
7628:
7625:
7623:
7620:
7618:
7615:
7614:
7606:
7602:
7599:
7595:
7591:
7588:
7584:
7581:
7579:
7575:
7572:
7569:
7568:Steve Wozniak
7566:
7564:
7560:
7557:
7555:
7551:
7547:
7546:sinc function
7543:
7539:
7536:
7534:
7530:
7526:
7522:
7519:
7517:
7513:
7510:
7508:
7504:
7500:
7497:
7494:
7491:
7489:
7485:
7481:
7477:
7473:
7469:
7468:Niklaus Wirth
7466:
7463:
7460:
7458:
7454:
7451:
7449:
7445:
7442:
7440:
7436:
7435:Sophie Wilson
7433:
7431:
7427:
7424:
7421:
7417:
7414:
7412:
7408:
7405:
7402:
7398:
7395:
7392:
7388:
7384:
7381:
7379:
7375:
7372:
7370:
7366:
7363:
7360:
7357:
7355:
7351:
7347:
7344:
7341:
7337:
7333:
7330:
7327:
7326:David Wheeler
7324:
7322:
7318:
7315:
7313:
7309:
7306:
7304:
7300:
7297:
7294:
7290:
7287:
7283:
7279:
7275:
7271:
7268:
7265:
7261:
7258:
7256:
7252:
7248:
7244:
7240:
7236:
7235:Philip Wadler
7233:
7231:
7228:
7225:
7224:Kevin Warwick
7222:
7219:
7215:
7211:
7207:
7203:
7200:
7198:
7194:
7191:
7189:
7186:
7184:
7183:James Z. Wang
7181:
7179:
7176:
7174:
7170:
7167:
7165:
7161:
7157:
7153:
7149:
7146:
7145:
7137:
7133:
7129:
7125:
7121:
7117:
7114:
7112:
7108:
7104:
7100:
7096:
7093:
7091:
7087:
7084:
7082:
7078:
7074:
7070:
7066:
7063:
7061:
7057:
7053:
7050:
7047:
7044:
7042:
7038:
7035:
7033:
7030:
7028:
7025:
7023:
7019:
7018:
7013:
7009:
7005:
7001:
6998:
6996:
6993:
6991:
6987:
6984:
6982:
6978:
6974:
6971:
6969:
6965:
6961:
6958:
6957:
6948:
6945:
6944:
6936:
6932:
6931:Murray Turoff
6929:
6926:
6922:
6918:
6914:
6910:
6907:
6905:
6901:
6897:
6893:
6890:
6887:
6883:
6879:
6878:FFT algorithm
6876:β founder of
6875:
6872:
6870:
6866:
6863:
6860:
6857:
6854:
6851:
6849:
6846:
6843:
6840:
6837:
6833:
6829:
6825:
6821:
6817:
6814:
6812:
6808:
6804:
6801:
6798:
6795:
6793:
6789:
6786:
6783:
6780:
6777:
6774:
6772:
6768:
6765:
6761:
6757:
6754:
6751:
6747:
6743:
6739:
6735:
6731:
6727:
6723:
6719:
6715:
6712:
6710:
6709:virtual actor
6706:
6702:
6699:
6697:
6693:
6689:
6686:
6683:
6682:Avie Tevanian
6680:
6677:
6674:
6671:
6668:
6666:
6663:
6660:
6659:Olivetti Elea
6656:
6653:
6651:
6648:
6645:
6644:Robert Tarjan
6642:
6640:
6637:
6635:
6632:
6629:
6626:
6624:
6620:
6616:
6612:
6609:
6607:
6603:
6599:
6596:
6594:
6590:
6586:
6583:
6580:
6579:Parisa Tabriz
6577:
6576:
6568:
6564:
6560:
6559:Mario Szegedy
6557:
6554:
6551:
6549:
6545:
6542:
6539:
6535:
6532:
6530:
6526:
6523:
6521:
6520:coding theory
6517:
6513:
6510:
6508:
6504:
6501:
6499:
6495:
6491:
6487:
6484:
6482:
6478:
6475:
6473:
6469:
6465:
6461:
6458:
6455:
6451:
6448:
6445:
6442:
6439:
6436:
6434:
6433:
6428:
6427:
6422:
6419:
6417:
6413:
6410:
6408:
6405:β creator of
6404:
6401:
6399:
6395:
6391:
6388:
6386:
6382:
6379:
6377:
6374:
6372:
6369:
6367:
6363:
6360:
6358:
6354:
6350:
6346:
6343:
6341:
6337:
6333:
6329:
6325:
6322:
6319:
6315:
6312:
6310:
6307:
6305:
6302:
6300:
6296:
6295:Steven Spewak
6293:
6290:
6286:
6282:
6278:
6274:
6270:
6267:
6264:
6260:
6257:
6254:
6253:Arne SΓΈlvberg
6251:
6248:
6245:
6243:
6239:
6235:
6232:
6229:
6225:
6222:
6220:
6216:
6212:
6208:
6205:
6203:
6199:
6196:
6193:
6190:
6188:
6184:
6180:
6176:
6172:
6169:
6168:context aware
6165:
6161:
6157:
6154:
6151:
6147:
6144:
6142:
6138:
6134:
6131:
6128:
6125:
6122:
6121:Scott Shenker
6119:
6116:
6113:
6110:
6109:David E. Shaw
6107:
6105:
6101:
6098:
6095:
6091:
6088:
6086:
6083:
6081:
6077:
6074:
6071:
6068:
6066:
6062:
6058:
6054:
6051:
6049:
6048:domain theory
6045:
6042:
6039:
6036:
6033:
6030:
6027:
6024:
6021:
6018:
6015:
6012:
6009:
6005:
6002:
6000:
5999:meta-learning
5996:
5995:GΓΆdel machine
5992:
5988:
5985:
5983:
5979:
5976:
5974:
5971:
5969:
5965:
5961:
5957:
5954:
5952:
5948:
5944:
5940:
5936:
5933:
5931:
5927:
5923:
5919:
5915:
5912:
5910:
5906:
5902:
5898:
5894:
5891:
5888:
5884:
5883:Claude Sammut
5881:
5879:
5875:
5872:
5870:
5866:
5865:Gerard Salton
5863:
5861:
5858:
5855:
5852:
5850:
5847:
5846:
5838:
5837:mathematician
5834:
5830:
5829:Peter RuΕΎiΔka
5827:
5825:
5821:
5817:
5814:
5812:
5811:Jeff Rulifson
5809:
5806:
5805:Steven Rudich
5803:
5800:
5797:
5794:
5791:
5789:
5785:
5784:M. A. Rothman
5782:
5780:
5776:
5773:
5771:
5767:
5763:
5759:
5755:
5752:
5750:
5747:
5745:
5741:
5738:
5735:
5732:
5730:
5726:
5723:
5721:
5717:
5713:
5709:
5706:
5704:
5700:
5696:
5693:
5691:
5688:
5686:
5683:
5680:
5677:
5675:
5671:
5668:
5665:
5661:
5658:
5655:
5652:
5650:
5646:
5642:
5641:parametricity
5639:, relational
5638:
5634:
5630:
5626:
5625:continuations
5622:
5619:
5616:
5612:
5609:
5607:
5606:David P. Reed
5604:
5602:
5598:
5595:
5593:
5589:
5586:
5584:
5580:
5579:dependability
5576:
5572:
5568:
5567:Brian Randell
5565:
5563:
5559:
5558:accessibility
5555:
5552:
5550:
5546:
5542:
5539:
5537:
5533:
5530:
5528:
5524:
5520:
5516:
5512:
5509:
5507:
5504:
5503:
5494:
5491:
5489:
5485:
5481:
5477:
5473:
5470:
5467:
5464:
5462:β mathematics
5461:
5458:
5455:
5452:
5449:
5445:
5442:
5438:
5434:
5430:
5426:
5423:
5420:
5417:
5415:
5411:
5408:
5406:
5403:
5401:
5397:
5393:
5390:
5387:
5384:
5381:
5378:
5376:
5372:
5368:
5364:
5361:
5359:
5355:
5352:
5350:
5347:
5346:Programma 101
5343:
5339:
5336:
5334:
5330:
5329:Radia Perlman
5327:
5325:
5321:
5318:
5316:
5312:
5308:
5305:
5303:
5299:
5296:
5293:
5289:
5285:
5282:
5280:
5276:
5273:
5271:
5267:
5264:
5261:
5257:
5253:
5252:Mike Paterson
5250:
5247:
5243:
5239:
5235:
5231:
5228:
5225:
5221:
5218:
5215:
5212:
5210:
5206:
5202:
5199:
5197:
5193:
5189:
5185:
5182:
5180:
5177:
5175:
5172:
5170:
5167:
5165:
5161:
5158:
5157:
5149:
5145:
5142:
5139:
5135:
5134:Mark Overmars
5132:
5129:
5125:
5122:
5120:
5116:
5113:
5111:
5108:
5106:
5103:
5100:
5097:
5095:
5091:
5090:bunched logic
5087:
5083:
5082:Peter O'Hearn
5080:
5077:
5073:
5070:
5069:
5061:
5057:
5053:
5050:
5047:
5044:
5041:
5037:
5034:
5032:
5028:
5024:
5023:Donald Norman
5021:
5019:
5015:
5011:
5007:
5004:
5001:
4998:
4996:
4992:
4988:
4984:
4980:
4977:
4974:
4970:
4966:
4965:
4960:
4956:
4955:Maurice Nivat
4953:
4950:
4949:Tobias Nipkow
4947:
4945:
4941:
4938:
4936:
4932:
4929:
4927:
4923:
4919:
4915:
4912:
4909:
4905:
4902:
4900:
4896:
4892:
4889:
4887:
4883:
4879:
4875:
4871:
4867:
4864:
4861:
4857:
4854:
4851:
4848:
4846:
4842:
4838:
4834:
4830:
4826:
4822:
4819:
4816:
4812:
4811:James G. Nell
4809:
4806:
4805:Roger Needham
4803:
4800:
4796:
4792:
4788:
4785:
4782:
4779:
4776:
4773:
4770:
4767:
4764:
4761:
4760:
4751:
4750:Brad A. Myers
4748:
4745:
4742:
4739:
4736:
4734:
4730:
4727:
4725:
4721:
4717:
4714:
4712:
4708:
4705:
4703:
4699:
4696:
4694:
4690:
4687:
4685:
4681:
4678:
4675:
4672:
4670:
4667:, co-founded
4666:
4662:
4658:
4655:
4653:
4649:
4646:
4644:
4640:
4637:
4635:
4634:Moore machine
4631:
4628:
4625:
4621:
4618:
4616:
4612:
4608:
4605:
4603:
4599:
4596:
4594:
4590:
4586:
4583:
4580:
4576:
4573:
4570:
4567:
4563:
4559:
4555:
4551:
4550:Arvind Mithal
4548:
4546:
4543:
4541:
4537:
4533:
4529:
4525:
4522:
4520:
4516:
4512:
4508:
4507:Marvin Minsky
4505:
4502:
4499:
4497:
4493:
4490:
4488:
4484:
4483:Silvio Micali
4481:
4479:
4475:
4472:
4469:
4466:
4464:
4460:
4459:Kurt Mehlhorn
4457:
4455:
4451:
4447:
4443:
4440:
4438:
4434:
4430:
4427:
4425:
4421:
4417:
4414:
4412:
4408:
4404:
4401:
4399:
4396:
4394:
4390:
4386:
4382:
4378:
4377:John McCarthy
4375:
4372:
4368:
4364:
4360:
4357:β researches
4356:
4355:Conor McBride
4353:
4350:
4346:
4342:
4341:Derek McAuley
4339:
4337:
4333:
4329:
4328:Ujjwal Maulik
4326:
4324:
4320:
4316:
4312:
4308:
4304:
4301:
4299:
4295:
4292:
4290:
4286:
4283:
4281:
4278:
4276:
4272:
4269:
4267:
4263:
4260:
4258:
4254:
4251:
4249:
4245:
4241:
4237:
4234:
4232:
4231:computer arts
4228:
4224:
4223:George Mallen
4221:
4219:
4216:
4214:
4213:virtual actor
4210:
4206:
4203:
4202:
4194:
4191:
4189:
4186:
4183:
4180:
4176:
4172:
4168:
4164:
4160:
4156:
4155:David Luckham
4153:
4150:
4147:
4145:
4142:
4139:
4136:
4134:
4130:
4126:
4123:
4120:
4116:
4112:
4108:
4104:
4100:
4096:
4092:
4089:
4087:
4083:
4080:
4078:
4074:
4071:
4069:
4068:
4062:
4058:
4055:
4052:
4048:
4045:
4043:
4039:
4035:
4032:
4029:
4025:
4022:
4020:
4017:
4015:
4012:
4010:
4006:
4003:
4001:
3997:
3994:
3992:
3988:
3984:
3981:
3979:
3975:
3972:
3970:
3967:
3965:
3961:
3957:
3956:Douglas Lenat
3954:
3952:
3948:
3947:work-stealing
3944:
3940:
3937:
3935:
3932:
3930:
3927:
3925:
3922:
3920:
3917:
3914:
3910:
3907:β creator of
3906:
3905:Chris Lattner
3903:
3901:
3898:
3895:
3891:
3887:
3883:
3880:
3878:
3874:
3870:
3866:
3862:
3858:
3854:
3850:
3849:off-side rule
3846:
3842:
3838:
3834:
3831:
3829:
3825:
3821:
3817:
3813:
3810:
3808:
3804:
3800:
3796:
3793:
3791:
3790:Monica S. Lam
3788:
3786:
3783:
3782:
3773:
3769:
3766:
3763:
3760:
3758:
3754:
3751:
3749:
3745:
3744:John Krogstie
3742:
3740:
3736:
3733:
3731:
3727:
3724:
3722:
3718:
3715:
3713:
3709:
3706:
3704:
3700:
3697:
3695:
3691:
3688:
3686:
3682:
3679:
3677:
3673:
3669:
3668:Daphne Koller
3666:
3664:
3660:
3659:Andrew Koenig
3657:
3655:
3651:
3647:
3643:
3639:
3638:
3633:
3630:
3628:
3624:
3620:
3616:
3612:
3609:
3607:
3603:
3599:
3596:
3594:
3590:
3586:
3583:
3580:
3577:
3575:
3571:
3567:
3563:
3560:
3558:
3554:
3551:
3549:
3546:, the 'k' in
3545:
3541:
3538:
3535:
3532:
3530:
3526:
3523:
3521:
3517:
3514:
3512:
3508:
3505:
3503:
3499:
3495:
3491:
3488:
3486:
3482:
3478:
3474:
3471:
3468:
3465:
3463:
3459:
3456:
3454:
3450:
3447:
3445:
3442:
3440:
3439:Varnish cache
3436:
3432:
3429:
3427:
3423:
3420:
3418:
3414:
3411:
3409:
3405:
3404:William Kahan
3402:
3401:
3392:
3389:
3387:
3383:
3379:
3375:
3371:
3368:
3366:
3363:
3361:
3360:Mathai Joseph
3358:
3356:
3353:
3350:
3346:
3343:
3340:
3337:
3335:
3332:
3330:
3327:
3325:
3322:
3320:
3317:
3315:
3312:
3309:
3306:
3304:
3300:
3296:
3295:Ivar Jacobson
3293:
3292:
3284:
3280:
3276:
3273:
3271:
3268:
3266:
3265:Lively Kernel
3262:
3258:
3254:
3251:
3249:
3245:
3242:
3240:
3236:
3233:
3232:
3224:
3220:
3217:
3214:
3210:
3206:
3202:
3199:
3196:
3193:β co-created
3192:
3189:
3186:
3182:
3178:
3174:
3171:
3168:
3164:
3161:
3159:
3155:
3151:
3148:
3146:
3143:
3141:
3137:
3134:
3132:
3128:
3124:
3120:
3116:
3113:
3112:John Hopcroft
3110:
3107:
3103:
3099:
3096:
3094:
3093:punched cards
3090:
3087:
3085:
3081:
3078:
3076:
3072:
3068:
3065:
3063:
3059:
3055:
3051:
3047:
3044:
3041:
3037:
3033:
3030:
3028:
3024:
3020:
3017:
3015:
3012:
3010:
3007:
3005:
3001:
2998:
2995:
2992:
2990:
2987:
2985:
2982:
2980:
2976:
2973:
2971:
2967:
2966:James Hendler
2964:
2961:
2957:
2953:
2949:
2948:Gernot Heiser
2946:
2943:
2940:
2938:
2934:
2930:
2926:
2922:
2919:
2916:
2912:
2909:
2906:
2903:
2900:
2896:
2893:
2891:
2887:
2884:
2882:
2878:
2875:
2872:
2868:
2864:
2860:
2857:
2855:
2851:
2848:
2846:
2842:
2839:
2837:
2833:
2829:
2826:
2823:
2819:
2816:
2814:
2811:
2809:
2806:
2804:
2800:
2799:Eldon C. Hall
2797:
2795:
2792:β mechanical
2791:
2788:
2786:
2782:
2778:
2774:
2770:
2766:
2762:
2758:
2754:
2750:
2746:
2743:
2742:
2734:
2730:
2726:
2723:
2721:
2718:theory; with
2717:
2713:
2709:
2708:number theory
2705:
2701:
2698:
2696:
2692:
2689:
2685:
2681:
2677:
2673:
2672:Niklaus Wirth
2669:
2666:
2664:
2660:
2656:
2653:
2651:
2647:
2643:
2639:
2635:
2632:
2630:
2626:
2623:
2621:
2617:
2614:
2611:
2607:
2603:
2600:
2598:
2594:
2591:
2588:
2584:
2581:
2578:
2574:
2570:
2567:
2564:
2560:
2556:
2553:
2551:
2547:
2544:
2541:
2537:
2534:
2532:
2528:
2524:
2521:
2519:
2515:
2511:
2507:
2504:
2502:
2498:
2494:
2493:James Gosling
2491:
2489:
2485:
2482:
2479:
2475:
2474:GastΓ³n Gonnet
2472:
2470:
2466:
2463:
2460:
2456:
2453:
2451:
2447:
2443:
2440:
2438:
2434:
2430:
2427:
2425:
2421:
2417:
2413:
2410:
2408:
2404:
2401:
2399:
2395:
2391:
2388:
2386:
2382:
2379:
2377:
2376:
2371:
2368:
2366:
2365:Joseph Goguen
2363:
2361:
2358:
2355:
2354:computability
2351:
2348:
2346:
2343:
2341:
2337:
2333:
2329:
2325:
2322:
2320:
2316:
2313:
2311:
2307:
2304:
2302:
2298:
2294:
2290:
2286:
2282:
2279:
2277:
2274:
2272:
2269:
2267:
2264:
2261:
2260:Lisa Gelobter
2258:
2256:
2253:
2251:
2247:
2244:
2242:
2241:Hugo de Garis
2239:
2237:
2233:
2232:Michael Garey
2230:
2228:
2225:
2223:
2219:
2216:
2214:
2211:
2209:
2205:
2201:
2197:
2193:
2189:
2185:
2182:
2181:
2173:
2170:
2168:
2167:deep learning
2164:
2160:
2156:
2152:
2148:
2145:
2143:
2140:
2138:
2135:
2132:
2129:
2127:
2124:
2122:
2119:
2117:
2114:
2112:
2109:
2107:
2106:Robert France
2104:
2102:
2101:Martin Fowler
2099:
2097:
2093:
2089:
2086:
2084:
2083:Lance Fortnow
2081:
2079:
2076:
2074:
2071:
2069:
2066:
2064:
2060:
2057:
2054:
2051:
2049:
2045:
2042:
2040:
2036:
2035:Tommy Flowers
2033:
2031:
2028:
2026:
2023:
2021:
2018:
2016:
2013:
2011:
2007:
2006:Edward Felten
2004:
2002:
1998:
1995:
1993:
1992:Scott Fahlman
1990:
1989:
1981:
1978:
1976:
1972:
1969:
1967:
1964:
1962:
1958:
1954:
1951:
1948:
1944:
1941:
1939:
1935:
1931:
1928:
1925:
1921:
1917:
1913:
1909:
1908:
1903:
1899:
1898:Andrey Ershov
1896:
1894:
1891:
1888:
1884:
1880:
1876:
1873:
1871:
1867:
1863:
1859:
1856:
1853:
1850:
1847:
1844:
1842:
1838:
1834:
1831:
1828:
1824:
1821:
1819:
1815:
1812:
1810:
1806:
1803:
1801:
1798:
1796:
1795:graph drawing
1792:
1789:
1788:
1779:
1776:
1774:
1770:
1767:
1765:
1761:
1757:
1753:
1749:
1746:
1744:
1740:
1737:
1734:
1731:, "father of
1730:
1726:
1723:
1721:
1717:
1714:
1712:
1708:
1705:
1702:
1699:
1695:
1694:Jack Dongarra
1692:
1690:
1686:
1683:
1681:
1677:
1673:
1669:
1665:
1661:
1660:DragonFly BSD
1657:
1654:
1651:
1647:
1643:
1639:
1635:
1631:
1628:
1626:
1622:
1618:
1615:(born 1944) (
1614:
1611:
1609:
1605:
1601:
1598:(born 1945) (
1597:
1594:
1591:
1588:
1584:
1581:
1578:
1574:
1570:
1566:
1563:
1561:
1558:
1555:
1551:
1548:
1546:
1542:
1538:
1534:
1531:
1528:
1525:
1523:
1519:
1515:
1511:
1508:
1506:
1503:
1501:
1497:
1494:
1491:
1487:
1483:
1479:
1476:
1474:
1471:β creator of
1470:
1467:
1465:
1462:
1458:
1455:
1452:
1448:
1444:
1441:
1439:
1435:
1431:
1427:
1423:
1419:
1415:
1412:
1410:
1406:
1402:
1399:
1396:
1393:β founder of
1392:
1389:
1387:
1383:
1379:
1376:
1374:
1370:
1367:
1366:
1358:
1357:Haskell Curry
1355:
1352:
1349:
1347:
1344:
1341:
1340:Jon Crowcroft
1338:
1336:
1332:
1329:
1327:
1326:supercomputer
1323:
1322:Cray Research
1319:
1316:
1314:
1310:
1306:
1302:
1298:
1295:
1293:
1289:
1286:
1284:
1280:
1277:
1274:
1271:
1269:
1265:
1261:
1258:
1256:
1252:
1251:Danese Cooper
1249:
1246:
1242:
1239:
1237:
1233:
1230:
1228:
1224:
1221:
1218:
1214:
1210:
1206:
1203:
1201:
1197:
1194:
1192:
1188:
1187:Douglas Comer
1185:
1183:
1179:
1176:
1174:
1170:
1167:
1164:
1163:Ian Coldwater
1161:
1158:
1157:Jacques Cohen
1155:
1153:
1150:
1146:
1145:Edgar F. Codd
1143:
1141:
1137:
1134:
1132:
1128:
1125:
1122:
1118:
1115:
1113:
1109:
1108:Alonzo Church
1106:
1103:
1100:
1098:
1095:β founder of
1094:
1091:
1089:
1085:
1084:data modeling
1081:
1077:
1074:
1072:
1068:
1067:Zhou Chaochen
1065:
1062:
1059:
1057:
1054:
1052:
1048:
1045:
1043:
1039:
1038:Edwin Catmull
1036:
1033:
1029:
1025:
1021:
1018:
1016:
1012:
1009:
1007:
1006:Luca Cardelli
1004:
1002:
998:
995:
993:
989:
986:
984:
981:
979:
975:
972:
970:
966:
963:
961:
957:
954:
953:
945:
941:
938:
935:
931:
927:
923:
919:
916:
914:
910:
906:
902:
899:
897:
894:
892:
891:
886:
885:
880:
876:
872:
869:
866:
863:
861:
857:
853:
849:
845:
841:
837:
833:
829:
826:
824:
820:
816:
813:
811:
807:
804:
802:
798:
795:
792:
788:
784:
781:
778:
775:protocol and
774:
770:
767:
764:
760:
757:
755:
751:
748:
745:
744:Harry Bouwman
742:
739:
735:
731:
728:
726:
722:
718:
715:
713:
709:
708:expert system
705:
702:
700:
696:
693:
691:
687:
684:
682:
678:
675:
673:
669:
666:
664:
663:Boolean logic
660:
657:
655:
651:
647:
644:
642:
638:
634:
631:
629:
626:
623:
620:
617:
614:
612:
608:
605:
603:
599:
596:
594:
590:
587:
585:
582:
580:
577:
574:
570:
569:Gerrit Blaauw
567:
565:
561:
557:
556:Dines BjΓΈrner
554:
552:
551:Abhay Bhushan
549:
547:
544:
541:
537:
534:
532:
528:
525:
522:
519:
517:
513:
510:
508:
504:
501:
497:
494:
492:
488:
485:
483:
479:
475:
471:
467:
463:
460:
458:
455:
452:
448:
444:
440:
436:
432:
429:
425:
421:
417:
414:
412:
408:
405:
403:
400:
398:
395:
392:
389:
386:
382:
378:
375:
373:
369:
365:
361:
358:
356:
352:
349:
346:
343:
342:
334:
331:
327:
323:
322:SystemVerilog
320:
316:
312:
308:
305:
302:
299:
296:
293:
291:
287:
284:
282:
278:
277:Sanjeev Arora
275:
273:
269:
265:
262:
259:
255:
251:
248:
245:
241:
238:
235:
232:
230:
226:
223:
220:
217:
214:
210:
209:supercomputer
206:
203:
201:
197:
194:
192:
188:
185:
183:
179:
176:
174:
170:
167:
165:
164:DNA computing
161:
157:
154:
152:
148:
145:
142:
139:
136:
133:
131:
127:
123:
120:
118:
114:
110:
107:
105:
101:
97:
93:
90:
88:
84:
83:Cybersecurity
80:
76:
73:
72:
66:
64:
60:
55:
51:
46:
45:and authors.
44:
40:
36:
29:
25:
21:
16:
7785:Lists portal
7684:Hans Zantema
7636:Yoneda lemma
7632:Nobuo Yoneda
7583:William Wulf
7521:Mike Woodger
7493:Neil Wiseman
7416:Yorick Wilks
7354:social media
7260:Peter Wegner
7173:cryptography
7171:β security,
7169:David Wagner
7101:algorithms,
7065:Paul Vitanyi
7015:
7002:β pioneered
6909:David Turner
6827:
6823:
6714:Ken Thompson
6676:Larry Tesler
6665:Jaime Teevan
6646:β splay tree
6639:GΓ‘bor Tardos
6430:
6424:
6376:Thad Starner
6279:, developed
6247:Aaron Sloman
6123:β networking
5956:Nitin Saxena
5918:file systems
5725:Ken Robinson
5663:
5323:
5292:Last Lecture
5284:Randy Pausch
5262:(complexity)
5244:), Berkeley
5201:David Parnas
5192:bisimulation
5144:Susan Owicki
5036:Peter Norvig
5006:Peter Nordin
4962:
4940:G.M. Nijssen
4898:
4891:Allen Newell
4840:
4781:Bonnie Nardi
4775:Frieder Nake
4769:Makoto Nagao
4744:Alan Mycroft
4674:Hans Moravec
4639:Gordon Moore
4607:John P. Moon
4598:Faron Moller
4492:Robin Milner
4487:cryptography
4468:Dora Metcalf
4365:; cocreated
4351:, networking
4330:(born 1965)
4303:John Mauchly
4262:James Martin
4236:Simon Marlow
4149:Ada Lovelace
4125:Darrell Long
4064:
4053:(Lions Book)
4019:David Liddle
3996:Leonid Levin
3845:SECD machine
3833:Peter Landin
3828:Turing Award
3635:
3632:Donald Knuth
3507:Neeraj Kayal
3449:Richard Karp
3444:David Karger
3391:Dan Jurafsky
3308:Anil K. Jain
3235:Jean Ichbiah
3136:Eric Horvitz
3131:nano-seconds
3125:; worked on
3119:Grace Hopper
3000:Danny Hillis
2970:Semantic Web
2944:β encryption
2886:Johan HΓ₯stad
2859:Brian Harris
2854:graph theory
2850:Frank Harary
2832:Hamming code
2727:- Topper of
2572:
2565:(AFL) theory
2446:cryptography
2433:cryptography
2403:Ian Goldberg
2373:
2370:E. Mark Gold
2151:neocognitron
2044:Robert Floyd
2001:intelligence
1953:Oren Etzioni
1943:Don Estridge
1937:
1929:
1919:
1915:
1912:time-sharing
1905:
1901:
1900:β languages
1833:Brendan Eich
1823:Alan Edelman
1800:Annie Easley
1764:protothreads
1748:Adam Dunkels
1739:Susan Dumais
1716:Paul Dourish
1707:Marco Dorigo
1672:file systems
1621:cryptography
1607:
1565:Robert Dewar
1496:Erik Demaine
1443:Neil Daswani
1342:β networking
1318:Seymour Cray
1305:neuroimaging
1297:Damien Coyle
1241:James Cooley
1232:Stephen Cook
1169:Simon Colton
1049:β Internet,
1011:John Carmack
960:cryptography
920:β languages
918:Rod Burstall
888:
882:
840:microkernels
734:Bourne shell
668:Andrew Booth
659:George Boole
633:Jeff Bonwick
622:Corrado BΓΆhm
611:cryptography
589:Dorothy Blum
546:Peter Bernus
506:
487:Rudolf Bayer
469:
457:Andrew Barto
435:John Mauchly
264:Kevin Ashton
234:Andrew Appel
225:Lisa Anthony
178:Luis von Ahn
122:Rediet Abebe
47:
34:
32:
20:dynamic list
15:
7764:Konrad Zuse
7679:fuzzy logic
7675:Lotfi Zadeh
7648:IFIP WG 2.1
7516:Mathematica
7476:IFIP WG 2.1
7391:IFIP WG 2.1
7378:Cybernetics
7308:Mark Weiser
7293:fingerprint
7282:IFIP WG 2.1
7230:Jan Weglarz
7178:David Waltz
7156:IFIP WG 2.1
6986:Moshe Vardi
6925:IFIP WG 2.1
6892:Alan Turing
6792:GΓΆdel Prize
6736:), created
6655:Mario Tchou
6619:AI Planning
6611:Austin Tate
6512:Madhu Sudan
6398:Common Lisp
6366:GNU Project
6271:β invented
6080:Dragon Book
5799:Rudy Rucker
5740:John Romero
5581:, pre-1950
5573:, software
5554:T. V. Raman
5439:languages,
5410:Amir Pnueli
5354:RΓ³zsa PΓ©ter
5320:Alan Perlis
5307:Judea Pearl
5140:programming
4973:IFIP WG 2.1
4839:committee,
4821:Greg Nelson
4799:IFIP WG 2.1
4763:Mihai Nadin
4693:Morris worm
4657:Roger Moore
4643:Moore's law
4585:Cleve Moler
4515:perceptrons
4501:Jack Minker
4450:IFIP WG 2.1
4389:IFIP WG 2.1
4359:type theory
4311:Jean Bartik
4280:John Mashey
4257:fuzzy logic
4253:Zohar Manna
4218:Tom Maibaum
4193:Nancy Lynch
4188:Eugene Luks
4177:cofounder (
4165:, Stanford
4119:IFIP WG 2.1
4061:IFIP WG 2.1
4028:microkernel
3983:Max Levchin
3861:IFIP WG 2.1
3717:Kees Koster
3534:Ken Kennedy
3473:Ted Kaehler
3433:β invented
3422:Avinash Kak
3345:Cliff Jones
3339:Angie Jones
3314:Ramesh Jain
3310:(born 1948)
3253:Dan Ingalls
3173:John Hughes
3114:β compilers
3046:Louis Hodes
2989:Carl Hewitt
2921:Eric Hehner
2845:data mining
2763:avoidance,
2725:Giri Topper
2700:Michael Guy
2569:David Gries
2506:Paul Graham
2461:computation
2192:Common Lisp
2142:Xiaoming Fu
2121:Yoav Freund
2053:Sally Floyd
1980:Shimon Even
1957:MetaCrawler
1934:IFIP WG 2.1
1927:workstation
1791:Peter Eades
1650:IFIP WG 2.1
1606:theory and
1569:IFIP WG 2.1
1541:working set
1505:Tom DeMarco
1369:Luigi Dadda
1351:Glen Culler
1288:Ingemar Cox
1032:informatics
999:β invented
871:Fred Brooks
806:Sergey Brin
765:contributor
736:, portable
646:Grady Booch
635:β invented
616:Barry Boehm
607:Manuel Blum
598:Lenore Blum
496:Gordon Bell
453:" computers
428:Vacuum tube
416:Jean Bartik
402:Victor Bahl
397:David Bader
377:John Backus
368:algorithmic
281:PCP theorem
250:Bruce Arden
242:β invented
211:developer,
205:Gene Amdahl
135:Hal Abelson
50:programmers
43:researchers
7866:Categories
7841:References
7693:Arif Zaman
7554:ALGOL 68-R
7188:Steve Ward
7148:Eiiti Wada
7116:Paul Vixie
6900:algorithms
6874:John Tukey
6692:Xerox Alto
6634:Γva Tardos
6540:, Internet
6289:Xerox PARC
6285:Xerox Star
6238:splay tree
6115:Cliff Shaw
6090:Adi Shamir
6076:Ravi Sethi
6061:algorithms
6044:Dana Scott
6010:, security
5889:researcher
5708:Ron Rivest
5685:Adam Riese
5662:β Editor:
5656:β Internet
5468:β Internet
5466:Jon Postel
5380:Kathy Pham
5298:Juan PavΓ³n
5256:algorithms
5184:David Park
5169:Sankar Pal
5160:Larry Page
5138:video game
4904:Max Newman
4874:set theory
4787:Peter Naur
4698:Joel Moses
4676:β robotics
4615:Apple Inc.
4530:compiler,
4287:β solving
4169:Verifier,
4099:algorithms
4047:John Lions
3969:Yann LeCun
3890:PostgreSQL
3841:J operator
3824:Xerox Alto
3820:Xerox PARC
3799:algorithms
3708:David Korn
3581:β Internet
3181:QuickCheck
3150:Paul Hudak
3019:Tin Kam Ho
2895:Les Hatton
2841:Jiawei Han
2808:Wendy Hall
2794:calculator
2733:Programmer
2706:, work on
2678:computer;
2661:analysis,
2616:Tom Gruber
2602:Bill Gropp
2455:Gene Golub
2394:algorithms
2360:Ashok Goel
2350:Kurt GΓΆdel
2336:AFL theory
2246:Bill Gates
2204:Lucid Inc.
2073:Ken Forbus
1837:JavaScript
1634:algorithms
1583:Vinod Dham
1273:Kit Cosper
1136:John Cocke
1102:Tracy Chou
1076:Peter Chen
988:Rod Canion
965:Tracy Camp
896:Rod Brooks
875:System 360
721:Z notation
686:Anita Borg
602:complexity
584:David Blei
573:System 360
505:, author:
411:SAS System
187:Alfred Aho
126:algorithms
104:Petri nets
33:This is a
18:This is a
7699:generator
7663:Moti Yung
7563:Transcode
7525:Pilot ACE
7111:databases
6340:CEDAR-FOX
5860:Umar Saif
5831:β Slovak
5597:Raj Reddy
5562:Emacspeak
5460:Emil Post
5448:Freddy II
5220:Yale Patt
5031:usability
5000:Jerre Noe
4967:journal,
4914:Andrew Ng
4556:of large
4424:Mindpixel
4409:, pipes,
3867:to model
3735:John Koza
3712:KornShell
3598:Dan Klein
3498:Smalltalk
3485:HyperCard
3477:Smalltalk
3257:Smalltalk
3191:Roger Hui
3038:, rigor,
2911:He Jifeng
2716:polyhedra
2540:compilers
2385:Smalltalk
2315:Lee Giles
2250:Microsoft
2213:Zvi Galil
2015:Tim Finin
1866:hypertext
1596:Jan Dietz
1592:processor
1492:of Google
1486:MapReduce
1478:Jeff Dean
1414:Samir Das
1409:hypertext
1391:Ryan Dahl
1047:Vint Cerf
1034:education
793:cofounder
738:ALGOL 68C
579:Sue Black
431:computers
328:pioneer,
54:invention
7771:See also
7755:Facebook
7627:John Yen
7529:ALGOL 60
7505:(ICAM),
7478:member,
7295:analysis
7284:member,
7278:ALGOL 60
7274:ALGOL 58
7158:member,
7134:, MAPS,
7022:ALGOL 60
6882:box plot
6809:kernel,
6752:language
6548:graphics
6538:graphics
5571:ALGOL 60
5342:Olivetti
5236:(RISC),
5214:DJ Patil
4995:robotics
4926:robotics
4845:ESC/Java
4841:Simplify
4837:Modula-3
4795:ALGOL 60
4626:language
4611:inventor
4452:member,
4446:ALGOL 68
4391:member,
4182:compiler
4107:software
4067:ALGOL 68
4063:member,
3882:Tom Lane
3721:ALGOL 68
3494:Dynabook
3490:Alan Kay
3370:Bill Joy
3197:language
3117:Admiral
2962:, Wombat
2773:ALGOL 60
2761:deadlock
2680:Modula-2
2650:Epinions
2642:Netscape
2589:language
2550:database
2546:Jim Gray
2319:CiteSeer
1936:member,
1883:genomics
1860:β tiled
1685:Alan Dix
1573:ALGOL 68
1571:member,
1482:Bigtable
1473:TempleOS
1461:database
1266:(CTSS),
1149:database
844:monitors
740:compiler
695:Bert Bos
445:(1949),
441:(1949),
324:early),
319:Bluespec
7472:ALGOL W
7340:ARPANET
7338:(MTS),
7243:Haskell
7152:ALGOL N
6921:Miranda
6771:Marlowe
6764:Cardano
6726:Inferno
6661:project
6265:, 3lisp
5770:ALGOL X
4983:Fintech
4817:(GERAM)
4793:(BNF),
4702:Macsyma
4665:IPSANET
4248:library
4240:Haskell
3871:(aided
3816:SDS 940
3615:ARPANET
3502:windows
3207:(PSP),
3185:Haskell
3154:Haskell
2917:systems
2704:Phoenix
2670:β with
2640:(RDF),
2612:(PETSc)
2531:Multics
2514:On Lisp
2188:Maclisp
2137:Ping Fu
1914:system
1862:windows
1841:Mozilla
1752:Contiki
1680:HAMMER2
1668:vkernel
1590:Pentium
1577:AdaCore
1490:Spanner
1397:project
1395:node.js
1268:Multics
944:Event-B
779:pioneer
761:β Main
710:AI and
562:(VDM),
437:toward
381:FORTRAN
315:Haskell
215:founder
7737:POMDPs
7650:member
7574:Jie Wu
7488:Oberon
7484:Modula
7480:Pascal
7457:SHRDLU
7393:member
7214:Prolog
7008:France
6927:member
6722:Plan 9
6529:Scheme
6394:Scheme
6357:WebKit
6353:Safari
6228:Akamai
5681:β BCPL
5441:Poplog
5437:POP-11
5429:COWSEL
5238:RISC-V
5164:Google
5056:Simula
4975:member
4910:, MADM
4801:member
4593:MATLAB
4528:WATFOR
4407:macros
4323:UNIVAC
4167:Pascal
4121:member
3991:PayPal
3481:Squeak
3417:TCP/IP
3380:UNIX,
3261:BitBlt
3177:arrows
3127:UNIVAC
2781:Pascal
2688:Zonnon
2684:Oberon
2676:Lilith
2597:SNOBOL
2510:Viaweb
2459:Matrix
2422:, and
2208:XEmacs
1961:Netbot
1930:MRAMOR
1916:AIST-0
1907:Rapira
1676:HAMMER
1652:member
1382:Simula
1311:, and
1215:, and
1182:Prolog
1051:TCP/IP
1001:DTrace
922:COWSEL
911:, and
879:OS/360
810:Google
789:\360,
491:B-tree
447:UNIVAC
330:NetBSD
272:M.I.T.
7644:ALGOL
7598:Hydra
7587:BLISS
7411:EDSAC
7387:ALGOL
7321:ELIZA
7255:logic
7247:Monad
7220:(WAM)
7136:DNSBL
7060:RC/DC
6807:Linux
6784:β RCS
6738:UTF-8
6606:MINIX
6349:GNOME
6150:MYCIN
5909:REBOL
5905:Amiga
5649:ALGOL
5450:robot
5433:POP-2
5248:(NOW)
5119:Wi-Fi
5076:Scala
4969:ALGOL
4860:ENIAC
4724:SeeQC
4624:Forth
4581:(DNS)
4385:ALGOL
4315:ENIAC
4307:ENIAC
4034:Eumel
3896:(PNG)
3857:ALGOL
3837:ISWIM
3807:LaTeX
3772:BASIC
3685:BlueJ
3529:BASIC
3351:(VDM)
3215:(TSP)
3123:COBOL
3071:ENIAC
3042:(CSP)
3036:logic
2937:ALGOL
2777:BLISS
1920:RUBIN
1902:ALPHA
1889:(QTL)
1818:ENIAC
1809:COBOL
1703:(HCI)
1662:with
1247:(FFT)
926:POP-2
564:RAISE
540:qmail
474:ALGOL
443:EDVAC
439:BINAC
424:ENIAC
422:, on
372:ALGOL
326:LPMud
260:(MTS)
244:treap
26:with
7757:and
7718:and
7507:IDEF
7401:LINC
7251:Java
7128:PAIX
7124:BIND
6913:SASL
6724:and
6718:Unix
6429:and
5835:and
5788:UEFI
5744:Doom
5703:Unix
5525:and
5242:RAID
5188:Lisp
4463:LEDA
4334:and
4317:and
4159:Lisp
3989:and
3913:LLVM
3911:and
3801:for
3646:MMIX
3566:CLOS
3544:Unix
3435:GBDE
3106:SPIN
3050:Lisp
2960:OKL4
2731:and
2501:Java
2497:NeWS
2480:Inc.
2096:Ring
2092:PWCT
1756:lwIP
1664:LWKT
1602:) β
1217:PL/C
1213:CUPL
1209:CORC
1191:Xinu
1140:RISC
1097:MPEG
1015:Doom
934:Hope
773:BB84
639:and
115:and
61:and
7303:AWK
7120:DNS
7006:in
6811:Git
6746:QED
6744:in
6507:C++
6094:RSA
5760:),
5758:APT
5720:RC4
5716:MD5
5712:RSA
5444:IDE
5375:C--
5194:in
5128:Tcl
4661:APL
4433:BSD
4321:on
4313:on
4179:Ada
3978:PHP
3964:Cyc
3875:),
3663:C++
3650:TeX
3642:MIX
3548:AWK
3386:csh
3378:BSD
3279:APL
3239:Ada
2785:Ada
2646:RSS
2518:Arc
2499:),
1760:uIP
1678:1,
1545:ACM
1539:'s
930:NPL
787:APL
763:mp3
641:ZFS
503:VAX
500:DEC
270:at
191:AWK
160:RSA
87:IoT
7868::
7731:,
7714:β
7705:β
7695:β
7686:β
7677:β
7656:β
7646:,
7642:,
7638:,
7634:β
7603:,
7596:,
7592:+
7585:β
7576:β
7552:,
7548:,
7544:,
7540:β
7531:,
7527:,
7523:β
7514:β
7501:β
7486:,
7482:,
7474:,
7470:β
7446:β
7437:β
7428:β
7418:β
7399:β
7389:,
7376:β
7367:β
7348:β
7310:β
7291:,
7280:,
7276:,
7272:β
7262:β
7253:,
7249:,
7245:,
7241:,
7237:β
7216:,
7212:,
7208:,
7206:AI
7204:β
7195:β
7154:,
7150:β
7130:,
7126:,
7122:,
7118:β
7109:,
7105:,
7097:β
7088:β
7079:,
7075:,
7071:,
7067:β
7058:,
7054:β
7039:β
7020:,
7010:,
6979:,
6975:β
6966:,
6962:β
6933:β
6923:,
6919:,
6915:,
6911:β
6898:,
6884:,
6880:,
6867:β
6805:β
6769::
6758:β
6750:Go
6720:,
6707:,
6703:β
6694:,
6690:β
6621:,
6613:β
6604:,
6600:β
6591:,
6587:β
6565:,
6561:β
6546:β
6536:β
6527:β
6518:,
6514:β
6505:β
6496:,
6492:,
6488:β
6479:β
6470:,
6466:,
6462:β
6452:β
6414:β
6396:,
6392:β
6383:β
6355:,
6351:,
6347:β
6338:,
6334:,
6330:,
6326:β
6316:β
6297:β
6287:;
6283:,
6275:,
6261:β
6240:,
6236:β
6213:,
6209:β
6200:β
6185:,
6181:,
6177:,
6173:,
6166:,
6162:,
6158:β
6148:β
6139:,
6135:β
6102:β
6092:β
6063:,
6059:,
6055:β
6046:β
6006:β
5993:,
5966:,
5958:β
5949:,
5945:,
5941:,
5939:NL
5928:,
5924:,
5920:,
5916:β
5907:,
5903:,
5899:,
5895:β
5885:β
5876:β
5867:β
5822:,
5818:β
5786:β
5777:β
5768:,
5764:,
5727:β
5718:,
5714:,
5710:β
5701:,
5697:β
5672:β
5647:,
5643:,
5635:,
5623:β
5613:β
5599:β
5590:β
5577:,
5569:β
5560:,
5556:β
5547:,
5543:β
5534:β
5521:,
5517:,
5513:β
5486:,
5482:,
5478:,
5474:β
5446:;
5435:,
5427:β
5412:β
5398:,
5394:β
5373:,
5369:,
5365:β
5356:β
5331:β
5322:β
5313:,
5309:β
5300:β
5279:ML
5277:β
5268:β
5258:,
5254:β
5232:β
5222:β
5207:,
5203:β
5146:β
5136:β
5126:β
5117:β
5092:,
5088:,
5084:β
5074:β
5058:,
5054:β
5038:β
5029:,
5025:β
5016:,
5012:,
5008:β
4993:,
4989:,
4985:,
4981:β
4971:,
4961:,
4957:β
4924:,
4920:,
4916:β
4906:β
4897:,
4893:β
4884:,
4876:,
4872:,
4835:,
4831:,
4827:,
4813:β
4797:,
4731:β
4718:β
4709:β
4700:β
4691:β
4682:β
4641:β
4632:β
4622:β
4613:,
4609:β
4600:β
4591:,
4587:β
4577:β
4564:,
4552:β
4538:,
4534:,
4526:β
4517:,
4513:,
4509:β
4494:β
4485:β
4476:β
4448:,
4444:β
4435:,
4431:β
4422:,
4418:β
4405:β
4387:,
4383:,
4379:β
4361:,
4347:,
4343:β
4296:β
4264:β
4255:β
4238:β
4229:,
4225:β
4211:,
4207:β
4173:,
4161:,
4157:β
4131:,
4127:β
4117:,
4113:,
4105:,
4097:,
4093:β
4084:β
4075:β
4059:β
4049:β
4042:L4
4040:,
4038:L3
4036:,
4026:β
4007:β
3998:β
3985:β
3976:β
3962:,
3958:β
3941:β
3892:,
3888:,
3884:β
3859:,
3855:,
3851:,
3847:,
3843:,
3839:,
3835:β
3826:,
3822:,
3814:β
3805:,
3797:β
3755:β
3746:β
3737:β
3728:β
3719:β
3710:β
3701:β
3692:β
3683:β
3674:,
3670:β
3661:β
3652:,
3648:,
3640:,
3634:β
3625:,
3621:,
3617:,
3613:β
3604:,
3600:β
3591:,
3587:β
3572:,
3568:,
3564:β
3555:β
3518:β
3509:β
3496:,
3492:β
3483:,
3479:,
3475:β
3460:β
3451:β
3424:β
3415:β
3406:β
3384:,
3382:vi
3376:,
3347:β
3301:,
3297:β
3281:,
3277:β
3263:,
3259:,
3255:β
3246:β
3237:β
3211:,
3179:;
3138:β
3100:β
3082:β
3069:β
3060:,
3056:,
3052:,
3034:β
3025:,
3021:β
3002:β
2977:β
2968:β
2958:,
2950:β
2935:,
2931:,
2927:,
2923:β
2913:β
2897:β
2888:β
2879:β
2861:β
2852:β
2843:β
2830:β
2801:β
2783:,
2779:,
2775:,
2771::
2767:,
2755:,
2751:,
2747:β
2710:,
2702:β
2693:;
2686:,
2682:,
2674::
2657:β
2648:,
2644:,
2636:β
2627:β
2618:β
2608:,
2604:β
2595:β
2587:Go
2585:β
2575:,
2571:β
2561:,
2557:β
2548:β
2538:β
2516:,
2512:,
2508:β
2486:β
2467:β
2457:β
2448:,
2444:β
2435:,
2431:β
2418:,
2414:β
2396:,
2392:β
2383:β
2372:β
2352:β
2338:,
2334:,
2330:,
2326:β
2317:β
2308:β
2299:,
2295:,
2291:,
2287:,
2283:β
2234:β
2220:β
2206:,
2202:,
2198:,
2194:,
2190:,
2186:β
2165:,
2157:,
2153:,
2149:β
2094:,
2090:β
2061:β
2046:β
2037:β
2008:β
1999:β
1973:β
1959:,
1955:β
1932:,
1922:,
1904:,
1885:,
1881:,
1877:β
1868:,
1864:,
1839:,
1835:β
1816:β
1807:β
1793:β
1762:,
1758:,
1754:,
1750:β
1741:β
1718:β
1709:β
1696:β
1674::
1666:,
1658:β
1648:,
1644:,
1640:,
1636:,
1632:β
1623:,
1587:P5
1585:β
1567:β
1520:,
1516:,
1512:β
1498:β
1488:,
1484:,
1480:β
1445:β
1436:,
1432:,
1428:,
1424:,
1420:,
1416:β
1407:,
1403:β
1384:,
1380:β
1324:,
1320:β
1307:,
1303:,
1299:β
1290:β
1281:β
1262:β
1253:β
1243:β
1234:β
1211:,
1207:β
1198:β
1189:β
1180:β
1171:β
1138:β
1129:β
1119:β
1086:,
1082:,
1078:β
1069:β
1040:β
1022:β
976:β
967:β
958:β
942:β
932:,
928:,
907:,
903:β
887:,
881:,
877:,
873:β
854:,
850:,
846:,
842:,
838:,
834:,
821:,
817:β
771:β
732:β
723:,
719:β
697:β
661:β
652:,
648:β
609:β
600:β
591:β
558:β
538:β
529:β
514:β
489:β
480:,
476:,
472:,
468:,
464:β
409:β
383:,
379:β
311:ML
279:β
227:β
207:β
198:β
180:β
162:,
158:β
149:β
128:,
124:β
111:β
102:,
98:,
94:β
85:,
81:,
77:β
65:.
7669:Z
7611:Y
7142:W
6954:V
6941:U
6838:.
6822:(
6734:C
6730:B
6573:T
5843:S
5500:R
5294:"
5154:P
5066:O
4757:N
4199:M
4184:)
3779:L
3644:/
3398:K
3289:J
3283:J
3229:I
3195:J
3108:)
2739:H
2178:G
1986:F
1785:E
1363:D
950:C
339:B
69:A
30:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.