626:
33:
910:
661:
1538:
1503:
1498:
1508:
604:
1523:
1528:
409:
405:
for contributions to abstract complexity theory, inductive inference, cryptographic protocols, and the theory and applications of program checkers.
941:
408:
In 2018 he and his wife Lenore resigned from
Carnegie Mellon University to protest against sexism after a change in management structure of
1518:
398:
1563:
1558:
1553:
1548:
1543:
1478:
892:
420:
In the 60s he developed an axiomatic complexity theory which was independent of concrete machine models. The theory is based on
1473:
79:
1388:
934:
552:
1493:
1008:
530:
383:
295:
187:
1279:
463:
118:
1513:
1131:
927:
402:
335:
1216:
592:
459:
1568:
387:
191:
906:
547:
412:
led to sexist treatment of her as director and the exclusion of other women from project activities.
122:
110:
1533:
834:
764:
444:
498:
334:
who received the Turing Award in 1995 "In recognition of his contributions to the foundations of
259:
1488:
893:"Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why"
428:. Even though the theory is not based on any machine model it yields concrete results like the
359:
102:
1160:
807:
Blum, L.; Blum, M.; Shub, M. (1986). "A Simple
Unpredictable Pseudo-Random Number Generator".
473:
Blum is also known as the advisor of many prominent researchers. Among his Ph.D. students are
557:
1483:
437:
363:
8:
1362:
542:
490:
452:
429:
251:
83:
386:
until 2001. From 2001 to 2018, he was the Bruce Nelson
Professor of Computer Science at
1317:
1182:
1064:
1014:
1002:
789:
772:
684:
625:
486:
331:
247:
877:
860:
742:
722:
421:
1210:
1188:
448:
134:
793:
1384:
1372:
1346:
1301:
1297:
1042:
1036:
911:
International
Conference on the Theory and Applications of Cryptographic Techniques
872:
816:
781:
737:
688:
676:
514:
482:
267:
243:
216:
177:
637:
1445:
1398:
1378:
1263:
1249:
1178:
1137:
1115:
1058:
1020:
979:
706:
641:
562:
474:
275:
231:
1433:
1368:
1356:
1334:
1311:
1305:
1245:
1172:
1103:
973:
919:
522:
518:
510:
456:
287:
283:
279:
114:
905:
Von Ahn, Luis; Blum, Manuel; Hopper, Nicholas J.; Langford, John (May 2003). "
1467:
1451:
1439:
1408:
1394:
1350:
1291:
1143:
1125:
1121:
1109:
1087:
985:
718:
710:
657:
506:
494:
371:
271:
255:
221:
588:
1412:
1166:
1099:
1093:
1032:
1026:
950:
526:
478:
339:
291:
235:
204:
154:
106:
32:
785:
1340:
1222:
1204:
1052:
967:
662:"How to Generate Cryptographically Strong Sequences of Pseudorandom Bits"
433:
425:
391:
367:
144:
38:
1429:
1402:
1285:
1259:
1255:
1239:
1081:
1046:
765:"A Machine-Independent Theory of the Complexity of Recursive Functions"
714:
42:
1275:
1192:
502:
358:, where he received his bachelor's degree and his master's degree in
263:
239:
205:
A Machine-Independent Theory of the
Complexity of Recursive Functions
130:
820:
680:
616:
1269:
953:
467:
126:
67:
310:
351:
198:
1539:
Massachusetts
Institute of Technology School of Science alumni
87:
1504:
Members of the United States
National Academy of Engineering
620:
1499:
International
Association for Cryptologic Research fellows
755:
753:
1509:
Members of the United States
National Academy of Sciences
355:
91:
750:
382:
Blum worked as a professor of computer science at the
861:"Toward a mathematical theory of inductive inference"
701:
330:(born 26 April 1938) is a Venezuelan born American
1465:
949:
443:Some of his other work includes a protocol for
158:Distinguished Teaching Award, UC Berkeley, 1977
935:
907:CAPTCHA: Using Hard AI Problems for Security
806:
394:, was also a professor of Computer Science.
1524:UC Berkeley College of Engineering faculty
942:
928:
652:
624:
584:
582:
580:
578:
401:. In 2006, he was elected a member of the
399:United States National Academy of Sciences
354:family in Venezuela. Blum was educated at
31:
1529:Venezuelan emigrants to the United States
876:
741:
858:
631:
899:
730:Journal of Computer and System Sciences
575:
362:in 1959 and 1961 respectively, and his
1466:
923:
160:Sigma Xi's Monie A. Ferst Award, 1991
80:Massachusetts Institute of Technology
759:
553:Non-interactive zero-knowledge proof
162:Herbert A.Simon Teaching award, 2007
610:
13:
1519:Carnegie Mellon University faculty
384:University of California, Berkeley
188:University of California, Berkeley
14:
1580:
37:Manuel Blum (left) with his wife
1564:MIT School of Engineering alumni
1559:21st-century American scientists
1554:20th-century American scientists
445:flipping a coin over a telephone
1549:21st-century American engineers
1544:20th-century American engineers
1479:Theoretical computer scientists
885:
852:
403:National Academy of Engineering
397:In 2002, he was elected to the
336:computational complexity theory
827:
800:
695:
646:
598:
436:, the honesty theorem and the
1:
878:10.1016/S0019-9958(75)90261-2
743:10.1016/S0022-0000(73)80033-9
593:Mathematics Genealogy Project
568:
460:pseudorandom number generator
155:ACM's A.M. Turing Award, 1995
16:Venezuelan computer scientist
1474:American computer scientists
464:Blum–Goldwasser cryptosystem
345:
119:Blum–Goldwasser cryptosystem
7:
859:Blum, L.; Blum, M. (1975).
839:www-groups.dcs.st-and.ac.uk
723:"Time bounds for selection"
536:
415:
10:
1585:
1494:Jewish American scientists
388:Carnegie Mellon University
192:Carnegie Mellon University
1422:
1327:
1232:
1153:
1074:
995:
960:
809:SIAM Journal on Computing
669:SIAM Journal on Computing
605:ACM Turing Award Citation
548:Graph isomorphism problem
377:
305:
301:
227:
215:
197:
183:
173:
166:
150:
140:
98:
75:
50:
30:
23:
640:publications indexed by
865:Information and Control
835:"Lenore Blum biography"
607:, retrieved 2010-01-24.
342:and program checking".
338:and its application to
1514:Turing Award laureates
974:Maurice Vincent Wilkes
909:". Proceedings of the
370:in 1964 supervised by
360:electrical engineering
111:Blum's speedup theorem
103:Blum complexity axioms
786:10.1145/321386.321395
558:Quantum coin flipping
123:Blum–Micali algorithm
623:Bibliography Server
466:, and more recently
438:Blum speedup theorem
1569:People from Caracas
1363:Michael Stonebraker
1161:Fernando J. CorbatĂł
895:. 6 September 2018.
543:List of Venezuelans
491:Russell Impagliazzo
453:selection algorithm
430:compression theorem
350:Blum was born to a
252:Russell Impagliazzo
1318:Charles P. Thacker
1183:Richard E. Stearns
1065:Kenneth E. Iverson
1015:Edsger W. Dijkstra
1003:James H. Wilkinson
951:A. M. Turing Award
773:Journal of the ACM
642:Microsoft Academic
487:Mor Harchol-Balter
390:, where his wife,
332:computer scientist
248:Mor Harchol-Balter
1461:
1460:
1335:Leslie G. Valiant
1211:Douglas Engelbart
1189:Edward Feigenbaum
913:(EUROCRYPT 2003).
449:median of medians
325:
324:
228:Doctoral students
168:Scientific career
135:Commitment scheme
1576:
1385:John L. Hennessy
1373:Whitfield Diffie
1347:Shafi Goldwasser
1302:E. Allen Emerson
1298:Edmund M. Clarke
1043:Michael O. Rabin
1037:Herbert A. Simon
944:
937:
930:
921:
920:
914:
903:
897:
896:
889:
883:
882:
880:
856:
850:
849:
847:
845:
831:
825:
824:
804:
798:
797:
769:
757:
748:
747:
745:
727:
699:
693:
692:
666:
650:
644:
635:
629:
628:
614:
608:
602:
596:
586:
515:Ronitt Rubinfeld
483:Shafi Goldwasser
422:Gödel numberings
321:
318:
316:
314:
312:
268:Ronitt Rubinfeld
244:Shafi Goldwasser
217:Doctoral advisor
211:
178:Computer science
64:
60:
58:
35:
21:
20:
1584:
1583:
1579:
1578:
1577:
1575:
1574:
1573:
1534:Venezuelan Jews
1464:
1463:
1462:
1457:
1446:Robert Metcalfe
1418:
1399:Geoffrey Hinton
1389:David Patterson
1379:Tim Berners-Lee
1323:
1264:Leonard Adleman
1250:Kristen Nygaard
1228:
1179:Juris Hartmanis
1149:
1138:Ivan Sutherland
1070:
1059:Robert W. Floyd
1021:Charles Bachman
991:
980:Richard Hamming
956:
948:
918:
917:
904:
900:
891:
890:
886:
857:
853:
843:
841:
833:
832:
828:
821:10.1137/0215025
805:
801:
767:
758:
751:
725:
721:(August 1973).
700:
696:
681:10.1137/0213053
664:
651:
647:
636:
632:
615:
611:
603:
599:
587:
576:
571:
563:Pancake sorting
539:
475:Leonard Adleman
451:(a linear time
418:
410:Project Olympus
380:
348:
309:
294:
290:
286:
282:
278:
276:Jeffrey Shallit
274:
270:
266:
262:
258:
254:
250:
246:
242:
238:
234:
232:Leonard Adleman
209:
190:
161:
159:
157:
133:
129:
125:
121:
117:
113:
109:
105:
76:Alma mater
71:
65:
62:
56:
54:
46:
26:
17:
12:
11:
5:
1582:
1572:
1571:
1566:
1561:
1556:
1551:
1546:
1541:
1536:
1531:
1526:
1521:
1516:
1511:
1506:
1501:
1496:
1491:
1486:
1481:
1476:
1459:
1458:
1456:
1455:
1449:
1443:
1437:
1434:Jeffrey Ullman
1426:
1424:
1420:
1419:
1417:
1416:
1406:
1392:
1382:
1376:
1369:Martin Hellman
1366:
1360:
1357:Leslie Lamport
1354:
1344:
1338:
1331:
1329:
1325:
1324:
1322:
1321:
1315:
1312:Barbara Liskov
1309:
1306:Joseph Sifakis
1295:
1289:
1283:
1273:
1267:
1253:
1246:Ole-Johan Dahl
1243:
1236:
1234:
1230:
1229:
1227:
1226:
1220:
1214:
1208:
1202:
1196:
1186:
1176:
1173:Butler Lampson
1170:
1164:
1157:
1155:
1151:
1150:
1148:
1147:
1141:
1135:
1129:
1119:
1113:
1107:
1104:Dennis Ritchie
1097:
1091:
1085:
1078:
1076:
1072:
1071:
1069:
1068:
1062:
1056:
1050:
1040:
1030:
1024:
1018:
1012:
1006:
999:
997:
993:
992:
990:
989:
983:
977:
971:
964:
962:
958:
957:
947:
946:
939:
932:
924:
916:
915:
898:
884:
851:
826:
799:
780:(2): 322–336.
749:
736:(4): 448–461.
694:
658:Micali, Silvio
645:
630:
609:
597:
573:
572:
570:
567:
566:
565:
560:
555:
550:
545:
538:
535:
523:Vijay Vazirani
519:Umesh Vazirani
511:Michael Sipser
457:Blum Blum Shub
417:
414:
379:
376:
347:
344:
323:
322:
307:
303:
302:
299:
298:
288:Vijay Vazirani
284:Umesh Vazirani
280:Michael Sipser
229:
225:
224:
219:
213:
212:
201:
195:
194:
185:
181:
180:
175:
171:
170:
164:
163:
152:
148:
147:
142:
138:
137:
115:Blum Blum Shub
100:
99:Known for
96:
95:
77:
73:
72:
66:
52:
48:
47:
41:and their son
36:
28:
27:
24:
15:
9:
6:
4:
3:
2:
1581:
1570:
1567:
1565:
1562:
1560:
1557:
1555:
1552:
1550:
1547:
1545:
1542:
1540:
1537:
1535:
1532:
1530:
1527:
1525:
1522:
1520:
1517:
1515:
1512:
1510:
1507:
1505:
1502:
1500:
1497:
1495:
1492:
1490:
1489:Living people
1487:
1485:
1482:
1480:
1477:
1475:
1472:
1471:
1469:
1453:
1452:Avi Wigderson
1450:
1447:
1444:
1441:
1440:Jack Dongarra
1438:
1435:
1431:
1428:
1427:
1425:
1421:
1414:
1410:
1407:
1404:
1400:
1396:
1395:Yoshua Bengio
1393:
1390:
1386:
1383:
1380:
1377:
1374:
1370:
1367:
1364:
1361:
1358:
1355:
1352:
1351:Silvio Micali
1348:
1345:
1342:
1339:
1336:
1333:
1332:
1330:
1326:
1319:
1316:
1313:
1310:
1307:
1303:
1299:
1296:
1293:
1292:Frances Allen
1290:
1287:
1284:
1281:
1277:
1274:
1271:
1268:
1265:
1261:
1257:
1254:
1251:
1247:
1244:
1241:
1238:
1237:
1235:
1231:
1224:
1221:
1218:
1215:
1212:
1209:
1206:
1203:
1200:
1197:
1194:
1190:
1187:
1184:
1180:
1177:
1174:
1171:
1168:
1165:
1162:
1159:
1158:
1156:
1152:
1145:
1144:William Kahan
1142:
1139:
1136:
1133:
1130:
1127:
1126:Robert Tarjan
1123:
1122:John Hopcroft
1120:
1117:
1114:
1111:
1110:Niklaus Wirth
1108:
1105:
1101:
1098:
1095:
1092:
1089:
1088:Edgar F. Codd
1086:
1083:
1080:
1079:
1077:
1073:
1066:
1063:
1060:
1057:
1054:
1051:
1048:
1044:
1041:
1038:
1034:
1031:
1028:
1025:
1022:
1019:
1016:
1013:
1010:
1009:John McCarthy
1007:
1004:
1001:
1000:
998:
994:
987:
986:Marvin Minsky
984:
981:
978:
975:
972:
969:
966:
965:
963:
959:
955:
952:
945:
940:
938:
933:
931:
926:
925:
922:
912:
908:
902:
894:
888:
879:
874:
870:
866:
862:
855:
840:
836:
830:
822:
818:
814:
810:
803:
795:
791:
787:
783:
779:
775:
774:
766:
762:
756:
754:
744:
739:
735:
731:
724:
720:
719:Tarjan, R. E.
716:
715:Rivest, R. L.
712:
708:
704:
698:
690:
686:
682:
678:
674:
670:
663:
659:
655:
649:
643:
639:
634:
627:
622:
618:
613:
606:
601:
594:
590:
585:
583:
581:
579:
574:
564:
561:
559:
556:
554:
551:
549:
546:
544:
541:
540:
534:
532:
531:Ryan Williams
528:
524:
520:
516:
512:
508:
507:Steven Rudich
504:
500:
496:
495:Silvio Micali
492:
488:
484:
480:
476:
471:
469:
465:
461:
458:
454:
450:
446:
441:
439:
435:
431:
427:
423:
413:
411:
406:
404:
400:
395:
393:
389:
385:
375:
373:
372:Marvin Minsky
369:
365:
361:
357:
353:
343:
341:
337:
333:
329:
320:
308:
304:
300:
297:
296:Ryan Williams
293:
289:
285:
281:
277:
273:
272:Steven Rudich
269:
265:
261:
257:
256:Silvio Micali
253:
249:
245:
241:
237:
233:
230:
226:
223:
222:Marvin Minsky
220:
218:
214:
207:
206:
202:
200:
196:
193:
189:
186:
182:
179:
176:
172:
169:
165:
156:
153:
149:
146:
143:
139:
136:
132:
128:
124:
120:
116:
112:
108:
104:
101:
97:
93:
89:
85:
81:
78:
74:
69:
63:(age 86)
61:26 April 1938
53:
49:
44:
40:
34:
29:
22:
19:
1413:Pat Hanrahan
1198:
1167:Robin Milner
1116:Richard Karp
1100:Ken Thompson
1094:Stephen Cook
1033:Allen Newell
1027:Donald Knuth
901:
887:
868:
864:
854:
842:. Retrieved
838:
829:
812:
808:
802:
777:
771:
761:Blum, Manuel
760:
733:
729:
711:Pratt, V. R.
707:Floyd, R. W.
702:
697:
672:
668:
654:Blum, Manuel
653:
648:
633:
612:
600:
527:Luis von Ahn
479:Dana Angluin
472:
442:
419:
407:
396:
381:
349:
340:cryptography
327:
326:
292:Luis von Ahn
240:C. Eric Bach
236:Dana Angluin
203:
184:Institutions
167:
107:Blum integer
18:
1484:1938 births
1341:Judea Pearl
1223:Fred Brooks
1205:Amir Pnueli
1199:Manuel Blum
1053:John Backus
968:Alan Perlis
844:16 February
638:Manuel Blum
617:Manuel Blum
589:Manuel Blum
499:Gary Miller
434:gap theorem
426:Blum axioms
392:Lenore Blum
368:mathematics
328:Manuel Blum
260:Gary Miller
145:Lenore Blum
70:, Venezuela
39:Lenore Blum
25:Manuel Blum
1468:Categories
1430:Alfred Aho
1409:Ed Catmull
1403:Yann LeCun
1286:Peter Naur
1260:Adi Shamir
1256:Ron Rivest
1240:Andrew Yao
1132:John Cocke
1082:Tony Hoare
1047:Dana Scott
871:(2): 125.
815:(2): 364.
675:(4): 850.
569:References
57:1938-04-26
43:Avrim Blum
1276:Vint Cerf
1193:Raj Reddy
954:laureates
503:Moni Naor
346:Education
264:Moni Naor
131:reCAPTCHA
1280:Bob Kahn
1270:Alan Kay
1217:Jim Gray
794:15710280
763:(1967).
703:Blum, M.
660:(1984).
537:See also
468:CAPTCHAs
424:and the
416:Research
689:7008910
591:at the
455:), the
319:/~mblum
306:Website
127:CAPTCHA
68:Caracas
1454:(2023)
1448:(2022)
1442:(2021)
1436:(2020)
1415:(2019)
1405:(2018)
1391:(2017)
1381:(2016)
1375:(2015)
1365:(2014)
1359:(2013)
1353:(2012)
1343:(2011)
1337:(2010)
1320:(2009)
1314:(2008)
1308:(2007)
1294:(2006)
1288:(2005)
1282:(2004)
1272:(2003)
1266:(2002)
1252:(2001)
1242:(2000)
1225:(1999)
1219:(1998)
1213:(1997)
1207:(1996)
1201:(1995)
1195:(1994)
1185:(1993)
1175:(1992)
1169:(1991)
1163:(1990)
1146:(1989)
1140:(1988)
1134:(1987)
1128:(1986)
1118:(1985)
1112:(1984)
1106:(1983)
1096:(1982)
1090:(1981)
1084:(1980)
1067:(1979)
1061:(1978)
1055:(1977)
1049:(1976)
1039:(1975)
1029:(1974)
1023:(1973)
1017:(1972)
1011:(1971)
1005:(1970)
988:(1969)
982:(1968)
976:(1967)
970:(1966)
792:
687:
529:, and
462:, the
432:, the
378:Career
352:Jewish
210:(1964)
208:
199:Thesis
174:Fields
151:Awards
141:Spouse
45:, 1973
1423:2020s
1328:2010s
1233:2000s
1154:1990s
1075:1980s
996:1970s
961:1960s
790:S2CID
768:(PDF)
726:(PDF)
685:S2CID
665:(PDF)
364:Ph.D.
846:2019
621:DBLP
317:.edu
315:.cmu
51:Born
873:doi
817:doi
782:doi
738:doi
677:doi
619:at
366:in
356:MIT
313:.cs
311:www
92:PhD
1470::
1432:;
1411:;
1401:;
1397:;
1387:;
1371:;
1349:;
1304:;
1300:;
1278:;
1262:;
1258:;
1248:;
1191:;
1181:;
1124:;
1102:;
1045:;
1035:;
869:28
867:.
863:.
837:.
813:15
811:.
788:.
778:14
776:.
770:.
752:^
732:.
728:.
717:;
713:;
709:;
705:;
683:.
673:13
671:.
667:.
656:;
577:^
533:.
525:,
521:,
517:,
513:,
509:,
505:,
501:,
497:,
493:,
489:,
485:,
481:,
477:,
470:.
447:,
440:.
374:.
90:,
88:MS
86:,
84:BS
59:)
943:e
936:t
929:v
881:.
875::
848:.
823:.
819::
796:.
784::
746:.
740::
734:7
691:.
679::
595:.
94:)
82:(
55:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.