Manuel Blum

📅 آخر تحديث: ١ أغسطس ٢٠٢٦
✍️ نُشر في: ١ أغسطس ٢٠٢٦
الموسوعة الحرة

Manuel Blum (born 26 April 1938) is a Venezuelan-born American computer scientist who received the 1995 ACM Turing Award[2] "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".[3][4][5][6][7][8]

Education

Blum was born to a Jewish family in Venezuela.[9] Blum was educated at MIT, where he received his bachelor's degree and his master's degree in electrical engineering in 1959 and 1961 respectively. In MIT, he was recommended to Warren S. McCulloch, and they collaborated on some mathematical problems in neural networks.[10][11][12] He obtained a Ph.D. in mathematics in 1964 supervised by Marvin Minsky.[1][7]

Career

Blum worked as a professor of computer science at the University of California, Berkeley until 2001. From 2001 to 2018, he was the Bruce Nelson Professor of Computer Science at Carnegie Mellon University, where his wife, Lenore Blum,[13] was also a professor of computer science.

In 2002, Blum was elected to the United States National Academy of Sciences. In 2006, he was elected a member of the National Academy of Engineering for contributions to abstract complexity theory, inductive inference, cryptographic protocols, and the theory and applications of program checkers.

In 2018, Blum and his wife Lenore resigned from Carnegie Mellon University to protest against sexism after a change in management structure of Project Olympus led to sexist treatment of her as director and the exclusion of other women from project activities.[14]

Research

في ستينيات القرن العشرين، طوّر نظريةً بديهيةً للتعقيد مستقلةً عن نماذج الآلات الملموسة. تستند هذه النظرية إلى ترقيم غودل وبديهيات بلوم . ورغم أنها لا تستند إلى أي نموذج آلة، إلا أنها تُفضي إلى نتائج ملموسة مثل نظرية الضغط ، ونظرية الفجوة ، ونظرية الصدق، ونظرية تسريع بلوم .

تتضمن بعض أعماله الأخرى بروتوكولًا لقلب عملة معدنية عبر الهاتف ، ووسيط الوسائط ( خوارزمية اختيار خطية للوقت )، ومولد الأرقام العشوائية الزائفة بلوم بلوم شوب ، ونظام التشفير بلوم-جولدواسير ، ومؤخرًا اختبارات CAPTCHA . [ 15 ]

يُعرف بلوم أيضًا بأنه المشرف على العديد من الباحثين البارزين. ومن بين طلاب الدكتوراه الذين أشرف عليهم: ليونارد أدلمان ، ودانا أنجلوين ، وشافي غولدواسير ، ومور هارتشول-بالتر ، وراسل إمباغليازو ، وسيلفيو ميكالي ، وغاري ميلر ، وموني ناور ، وستيفن روديتش ، ومايكل سيبسر ، ورونيت روبينفيلد ، وأوميش فازيراني ، وفيجاي فازيراني ، ولويس فون آن ، وريان ويليامز . [ 1 ]

انظر أيضاً

مراجع

  1. 1 2 3 4 مانويل بلوم في مشروع علم الأنساب الرياضي .
  2. ↑ "مانويل بلوم، الفنزويلي الذي يقترح "بروتوكولًا لحل المشكلات المستحيلة" وهو أمريكا اللاتينية الوحيدة التي تسعى للحصول على جائزة تورينج" . 29 مايو 2025.
  3. ↑ اقتباس جائزة تورينج من جمعية آلات الحوسبة ، تم الاطلاع عليه بتاريخ 24-01-2010.
  4. ↑ مانويل بلوم في خادم ببليوغرافيا DBLP
  5. ↑ بلوم، مانويل ؛ ميكالي، سيلفيو (1984). "كيفية توليد متواليات قوية تشفيرياً من بتات شبه عشوائية" (ملف PDF) . مجلة SIAM للحوسبة . 13 (4): 850. doi : 10.1137/0213053 . S2CID 7008910 . 
  6. ↑ بلوم، م .؛ فلويد، ر. و .؛ برات، ف. ر .؛ ريفست، ر. ل .؛ تارجان، ر. إ. (أغسطس 1973). "الحدود الزمنية للاختيار" (ملف PDF) . مجلة علوم الحاسوب والنظم . 7 (4): 448-461 . doi : 10.1016/S0022-0000(73)80033-9 .
  7. 1 2 بلوم، مانويل (1967). "نظرية مستقلة عن الآلة لتعقيد الدوال التكرارية" (ملف PDF) . مجلة ACM . 14 (2): 322-336 . doi : 10.1145/321386.321395 . S2CID 15710280 . 
  8. ↑ بلوم، ل.؛ بلوم، م.؛ شوب، م. (1986). "مولد أرقام شبه عشوائية بسيط وغير قابل للتنبؤ". مجلة SIAM للحوسبة . 15 (2): 364. doi : 10.1137/0215025 .
  9. ↑ "سيرة لينور بلوم" . www-groups.dcs.st-and.ac.uk . تم الاطلاع عليه بتاريخ 16 فبراير 2019 .
  10. ↑ بلوم، مانويل. "خصائص العصبون ذي المدخلات المتعددة". ندوة البيونيكس: النماذج الحية الأولية - مفتاح التكنولوجيا الجديدة، 13-14-15 سبتمبر 1960. تقرير فني من WADD، 60-600. (1961)
  11. ↑ ماكولوتش، وارن (1961). "ما هو العدد، لكي يعرفه الإنسان، وما هو الإنسان، لكي يعرف العدد" (ملف PDF) . نشرة علم الدلالة العامة (26 و27): 7-18 .
  12. ↑ "كيف أصبح هذا الباحث الحائز على جائزة تورينج مستشارًا أكاديميًا أسطوريًا" . مجلة إم آي تي ​​للتكنولوجيا . تم الاطلاع عليه بتاريخ 12 أكتوبر 2024 .
  13. ↑ بلوم، ل.؛ بلوم، م. (1975). "نحو نظرية رياضية للاستدلال الاستقرائي" . المعلومات والتحكم . 28 (2): 125. doi : 10.1016/S0019-9958(75)90261-2 .
  14. ↑ «أثارت لينور بلوم صدمة في الأوساط الأكاديمية باستقالتها المفاجئة من جامعة كارنيجي ميلون. إليكم ما قالته لنا عن السبب» . 6 سبتمبر 2018.
  15. ↑ فون آن، لويس؛ بلوم، مانويل؛ هوبر، نيكولاس جيه؛ لانغفورد، جون (مايو 2003). " كابتشا: استخدام مشاكل الذكاء الاصطناعي الصعبة للأمن ". وقائع المؤتمر الدولي حول نظرية وتطبيقات تقنيات التشفير (يورو كريبت 2003).