مارتین ابدی

مارتین ابدی
زادهٔ۱۹۶۳
آرژانتین
ملیتایالات متحده آمریکا
محل تحصیلدانشگاه استنفورد، ۱۹۸۷
پیشینه علمی
شاخه(ها)رمزنگاری
محل کارگوگل
دانشگاه کالیفرنیا، سانتا کروز
استاد راهنماZohar Manna

مارتین ابدی (انگلیسی: Martín Abadi؛ زادهٔ ۱۹۶۳) یک دانشمند رایانه آرژانتینی در زمینه امنیت رایانه و زبان برنامه‌نویسی است که از سال ۲۰۲۱ در گوگل مشغول به کار است.[۱] وی مدرک پی‌اچ‌دی خود را از دانشگاه استنفورد در ۱۹۸۷ میلادی دریافت کرد.[۲]

او به دلیل کارش در زمینه امنیت رایانه و زبان‌های برنامه‌نویسی، از جمله مقاله‌اش (با مایکل باروز و راجر نیدهام) درباره منطق باروز-آبادی-نیدهام برای تجزیه و تحلیل پروتکل‌های احراز هویت، و کتابش (با لوکا کاردلی) نظریه‌ای از اشیاء، طرح‌بندی محاسبات رسمی برای معناشناسی زبان‌های برنامه‌نویسی شی‌گرا شناخته شده است.[۳][۴][۵] در سال ۱۹۹۳، او زبان برنامه‌نویسی بیبی ماجولا ۳ را منتشر کرد که زیرزبان ماجولا ۳ بر اساس برنامه‌نویسی تابعی و ایدئال‌های نظریه مجموعه است. ابدی یک توسعه‌دهنده اصلی برای چارچوب یادگیری ماشین تنسورفلو[۶] است.

او در سال ۲۰۰۸ عضو انجمن ماشین‌های حسابگر شد.[۷] در سال ۲۰۱۱، به عنوان استاد موقت در کالج فرانسه در پاریس[۸]، تدریس امنیت رایانه را به عهده داشت. او در سال ۲۰۱۸ به دلیل مشارکت در نظریه رسمی امنیت رایانه به عضویت آکادمی ملی مهندسی انتخاب شد.[۹]

او با موسی آبادی، یکی از اعضای مقاومت فرانسه در جنگ جهانی دوم، و کارلوس آبادی یک بانکدار، سرمایه‌دار و نیکوکار ارتباط دارد.[۱۰]

پیوند به بیرون

منابع

  1. ↑ "Martín Abadi – Google Research". Google Research (به انگلیسی). Retrieved 2023-10-16.
  2. ↑ "dblp: Martín Abadi". dblp.org (به انگلیسی). Retrieved 2023-10-16.
  3. ↑ "(Lecture Notes in Computer Science) Martín Abadi, Alberto Lluch Lafuente (eds.)-Trustworthy Global Computing_ 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revise | PDF | Metric (Mathematics) | Wiki". Scribd (به انگلیسی). Retrieved 2023-10-16.
  4. ↑ "Trustworthy Global Computing". blackwells.co.uk (به انگلیسی). Retrieved 2023-10-16.
  5. ↑ Abadi, Martín; Lluch Lafuente, Alberto, eds. (2014). "Trustworthy Global Computing". Lecture Notes in Computer Science (به انگلیسی). doi:10.1007/978-3-319-05119-2. ISSN 0302-9743.
  6. ↑ Abadi, Martin; Barham, Paul; Chen, Jianmin; Chen, Zhifeng; Davis, Andy; Dean, Jeffrey; Devin, Matthieu; Ghemawat, Sanjay; Irving, Geoffrey (2016). "{TensorFlow}: A System for {Large-Scale} Machine Learning" (به انگلیسی): 265–283. ISBN 978-1-931971-33-1. {{cite journal}}: Cite journal requires |journal= (help)
  7. ↑ "Martin Abadi". awards.acm.org (به انگلیسی). Retrieved 2023-12-12.
  8. ↑ Décret du 7 septembre 2010 portant nomination (enseignements supérieurs) - M. Abadi (Martin), retrieved 2023-12-12
  9. ↑ "National Academy of Engineering Elects 83 Members and 16 Foreign Members". NAE Website (به انگلیسی). Retrieved 2023-12-12.
  10. ↑ «Carlos Abadi – Official Website». web.archive.org. ۲۰۱۸-۰۵-۱۳. بایگانی‌شده از اصلی در ۱۳ مه ۲۰۱۸. دریافت‌شده در ۲۰۲۳-۱۲-۱۲.
This article is issued from ویکی‌پدیا. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.