سيلفيو ميكالي
سيلفيو ميكالي (مواليد 13 أكتوبر 1954) عالم حاسوب إيطالي ، وأستاذ في معهد ماساتشوستس للتكنولوجيا ، ومؤسس ألغوراند ، وهو بروتوكول عملة مشفرة قائم على تقنية سلسلة الكتل (البلوك تشين) مع آلية إثبات الحصة. يركز بحث ميكالي في مختبر علوم الحاسوب والذكاء الاصطناعي التابع لمعهد ماساتشوستس للتكنولوجيا على التشفير وأمن المعلومات . [ 4 ] [ 5 ]
في عام 2012، حصل هو وشافي غولدواسير على جائزة تورينغ لعملهما في مجال التشفير. [ 6 ] [ 1 ]
الحياة الشخصية
تخرج ميكالي في الرياضيات من جامعة لا سابينزا في روما عام 1978، وحصل على درجة الدكتوراه في علوم الحاسوب من جامعة كاليفورنيا، بيركلي عام 1982؛ [ 7 ] عن بحث أشرف عليه مانويل بلوم . [ 2 ] يعمل ميكالي في هيئة التدريس بقسم الهندسة الكهربائية وعلوم الحاسوب في معهد ماساتشوستس للتكنولوجيا منذ عام 1983. كما عمل سابقًا في هيئة التدريس بجامعة بنسلفانيا ، وجامعة تورنتو ، وجامعة تسينغهوا . [ 8 ] تشمل اهتماماته البحثية التشفير، ومفهوم المعرفة الصفرية، وتوليد الأرقام العشوائية الزائفة، والبروتوكولات الآمنة، وتصميم الآليات.
حياة مهنية
يشتهر ميكالي ببعض أعماله المبكرة الأساسية حول أنظمة التشفير بالمفتاح العام ، والدوال شبه العشوائية ، والتوقيعات الرقمية ، والنقل غير الواعي ، والحوسبة الآمنة متعددة الأطراف ، وهو أحد المخترعين المشاركين لإثباتات المعرفة الصفرية . [ 9 ]
أثناء دراسته العليا، تعاون ميكالي مع زميله شافي غولدواسير لتقديم مفهوم التشفير الاحتمالي . في هذا النظام، يمكن تشفير الرسالة عشوائيًا إلى عدة نصوص مشفرة مختلفة، مما يوفر أمانًا دلاليًا لأن زوجًا من النصوص المشفرة لا يمكن تمييزه حتى عندما يستطيع المهاجم اختيار الرسائل التي أتت منها. [ 10 ] كما طور ميكالي ومشرفه مانويل بلوم في ذلك الوقت مولدًا شبه عشوائي ، وهو خوارزمية بلوم-ميكالي . [ 11 ]
ابتكر ميكالي وغولدواسير وتشارلز راكوف البراهين التفاعلية في ثمانينيات القرن العشرين، بالتزامن مع لازلو باباي وشلومو موران . [ 12 ] في نظام البرهان التفاعلي، يُطوّر المشاركون برهانًا من خلال الإجابة على سلسلة من الأسئلة. [ 10 ] ثم قدّم ميكالي وغولدواسير وراكوف فئة خاصة من هذه البراهين، وهي براهين المعرفة الصفرية، في عام 1985. وقد عرّفوا نظامًا يتفاعل فيه المُثبت مع المُدقّق لإثبات نظرية ما، دون تزويد المُدقّق بأي معلومات إضافية. [ 13 ]
ومن بين طلاب الدكتوراه السابقين لميكالي: ميهير بيلاري ، وبوني بيرغر ، وشاي هاليفي ، ورافائيل أوستروفسكي ، وفيليب روغاواي . [ 2 ] [ 3 ]
في عام ٢٠٠١، شارك ميكالي في تأسيس شركة كور ستريت المحدودة، وهي شركة برمجيات مقرها في كامبريدج، ماساتشوستس، والتي طبقت براءات اختراع ميكالي المتعلقة بالتحقق من حالة الشهادات الرقمية (والتي تنطبق بشكل أساسي على مشاريع الهوية الرقمية والمادية الكبيرة للمؤسسات والجهات الحكومية). شغل ميكالي منصب كبير العلماء في كور ستريت. استحوذت شركة أكتيف آيدينتيتي على كور ستريت في عام ٢٠٠٩. [ ١٤ ]
في أوائل العقد الأول من القرن الحادي والعشرين، أسس ميكالي أيضًا Peppercoin ، وهو نظام دفع صغير تم الاستحواذ عليه في عام 2007. وفي عام 2017، أسس Algorand . [ 15 ]
الجوائز والتكريمات
فاز ميكالي بجائزة غودل عام 1993، إلى جانب غولدواسير، وراكوف، وباباي، وموران، لإسهاماتهم في ابتكار البراهين التفاعلية. [ 12 ] وحصل على جائزة الجمعية الملكية للفنون للتميز في الرياضيات عام 2004. [ 16 ] وفي عام 2007، اختير عضوًا في الأكاديمية الوطنية للعلوم وزميلًا في الرابطة الدولية لأبحاث التشفير (IACR). وهو أيضًا عضو في الأكاديمية الوطنية للهندسة والأكاديمية الأمريكية للفنون والعلوم . [ 17 ]
حصل على جائزة تورينج [ 1 ] لعام 2012 بالاشتراك مع شافي غولدواسير لعملهما في مجال التشفير. [ 18 ] تُعتبر جائزة تورينج بمثابة جائزة نوبل في مجال الحوسبة. [ 19 ]
في عام 2015، منحته جامعة ساليرنو درجة الدكتوراه الفخرية. وانتُخب زميلاً في جمعية آلات الحوسبة (ACM) في عام 2017. [ 20 ]
مراجع
- 1 2 3 4 سافاج، نيل (2013). "البراهين المحتملة: وضع شافي غولدواسير وسيلفيو ميكالي أسس التشفير الحديث، بمساهمات شملت البراهين التفاعلية وبراهين المعرفة الصفرية". اتصالات ACM . 56 (6): 22. doi : 10.1145/2461256.2461265 . S2CID 26769891 .

- 1 2 3 4 5 6 7 8 9 10 سيلفيو ميكالي في مشروع علم الأنساب الرياضي
- 1 2 "السيرة الذاتية" (ملف PDF) . people.csail.mit.edu .
- ↑ سيلفيو ميكالي على خادم ببليوغرافيا DBLP
- ↑ صفحة تعريف المؤلف سيلفيو ميكالي في مكتبة ACM الرقمية
- ↑ "غولدواسير وميكالي يفوزان بجائزة تورينج" . أخبار معهد ماساتشوستس للتكنولوجيا | معهد ماساتشوستس للتكنولوجيا . 13 مارس 2013. تاريخ الاطلاع: 26 ديسمبر 2024 .
- ↑ "الصفحة الرئيسية لسيلفيو" . people.csail.mit.edu . تم الاطلاع عليه بتاريخ 12-03-2018 .
- ^ "سيلفيو ميكالي" . amturing.acm . تم الاسترجاع في 14 أغسطس 2023 .
- ↑ بلوم، م.؛ فيلدمان، ب.؛ ميكالي، س. (1988). "المعرفة الصفرية غير التفاعلية وتطبيقاتها". وقائع الندوة السنوية العشرون لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '88 . ص 103. doi : 10.1145/62212.62222 . ISBN 0897912640. S2CID 7282320 .
- 1 2 غارفينكل، سيمون (21 أغسطس 2019). "شافي غولدواسير: خبير نظرية الأعداد الذي ساهم في إحداث ثورة في علم التشفير" . مجلة إم آي تي للتكنولوجيا . تم الاطلاع عليه بتاريخ 23 أغسطس 2025 .
- ↑ موشكوفيتز، دانا (خريف 2012). "المحاضرة 20: P مقابل BPP 1" (ملف PDF) . معهد ماساتشوستس للتكنولوجيا: نظرية التعقيد المتقدمة . تاريخ الاسترجاع: 23 أغسطس 2025 .
- 1 2 باربيري، إيان. "جائزة غودل لعام 1993" . مجموعة الاهتمام الخاصة التابعة لجمعية آلات الحوسبة (ACM) حول الخوارزميات ونظرية الحوسبة . مؤرشف من الأصل بتاريخ 2015-12-08 . تم الاطلاع عليه بتاريخ 2025-08-23 .
- ↑ غولدريتش، عوديد؛ أورين، يائير (1994-12-01). "تعريفات وخصائص أنظمة إثبات المعرفة الصفرية" . مجلة علم التشفير . 7 (1): 1-32 . doi : 10.1007/BF00195207 . ISSN 1432-1378 .
- ↑ «مؤسس شركة كور ستريت يفوز بجائزة مؤتمر الجمعية الملكية للرياضيات» (بيان صحفي). كور ستريت. ١٧ فبراير ٢٠٠٤. مؤرشف من الأصل في ٧ أبريل ٢٠٠٤. تم الاطلاع عليه في ٢١ ديسمبر ٢٠٢٥ .
- ^ "سيلفيو ميكالي | معهد ماساتشوستس للتكنولوجيا CSAIL" . www.csail.mit.edu . تم الاسترجاع 2021-05-10 .
- ↑ "جائزة مؤتمر RSA للرياضيات" . cseweb.ucsd.edu . مؤرشف من الأصل بتاريخ 2019-12-05 . تم الاطلاع عليه بتاريخ 2020-08-31 .
- ↑ "نظرية الحوسبة في مختبر علوم الحاسوب والذكاء الاصطناعي بمعهد ماساتشوستس للتكنولوجيا" . theory.csail.mit.edu . تم الاطلاع عليه بتاريخ 12 مارس 2018 .
- ↑ «غولدواسير وميكالي يحصلان على جائزة تورينغ من جمعية آلات الحوسبة (ACM) لإنجازاتهما في علم التشفير» . جمعية آلات الحوسبة (ACM). مؤرشف من الأصل بتاريخ 16 مارس 2013. تم الاطلاع عليه بتاريخ 13 مارس 2013 .
- ↑ غارفينكل، سيمون (21 أغسطس 2019). "شافي غولدواسير: خبير نظرية الأعداد الذي ساهم في إحداث ثورة في علم التشفير" . مجلة إم آي تي للتكنولوجيا . تاريخ الاسترجاع: 23 أغسطس 2025 .
- ↑ جمعية آلات الحوسبة تُكرّم زملاء عام 2017 لمساهماتهم التحويلية في تطوير التكنولوجيا في العصر الرقمي ، جمعية آلات الحوسبة، 11 ديسمبر 2017 ، تاريخ الاطلاع 13 نوفمبر 2017
- مواليد عام 1954
- الناس الأحياء
- علماء الحاسوب النظريون
- علماء الحاسوب الإيطاليون
- علماء الحاسوب الأمريكيين
- الأمريكيون من أصل إيطالي
- علماء التشفير المعاصرون
- الفائزون بجائزة غودل
- أعضاء هيئة التدريس في كلية الهندسة بمعهد ماساتشوستس للتكنولوجيا
- خريجو كلية الهندسة بجامعة كاليفورنيا في بيركلي
- أعضاء الأكاديمية الوطنية للهندسة في الولايات المتحدة
- أعضاء الأكاديمية الوطنية للعلوم في الولايات المتحدة
- زملاء جمعية آلات الحوسبة
- حائز على جائزة تورينج
- زملاء الرابطة الدولية لأبحاث التشفير
- الأشخاص المرتبطون بالعملات المشفرة
- علماء من صقلية
