مارتین ابدی
| مارتین ابدی | |
|---|---|
| زادهٔ | ۱۹۶۳ آرژانتین |
| محل زندگی | ایالات متحده آمریکا |
| ملیت | ایالات متحده آمریکا |
| محل تحصیل | دانشگاه استنفورد، ۱۹۸۷ |
| پیشینه علمی | |
| شاخه(ها) | رمزنگاری |
| محل کار | گوگل دانشگاه کالیفرنیا، سانتا کروز |
| استاد راهنما | Zohar Manna |
مارتین ابدی (انگلیسی: Martín Abadi؛ زادهٔ ۱۹۶۳) یک دانشمند رایانه آرژانتینی در زمینه امنیت رایانه و زبان برنامه‌نویسی است که از سال ۲۰۲۱ در گوگل مشغول به کار است.[۱] وی مدرک پی‌اچ‌دی خود را از دانشگاه استنفورد در ۱۹۸۷ میلادی دریافت کرد.[۲]
او به دلیل کارش در زمینه امنیت رایانه و زبان‌های برنامه‌نویسی، از جمله مقاله‌اش (با مایکل باروز و راجر نیدهام) درباره منطق باروز-آبادی-نیدهام برای تجزیه و تحلیل پروتکل‌های احراز هویت، و کتابش (با لوکا کاردلی) نظریه‌ای از اشیاء، طرح‌بندی محاسبات رسمی برای معناشناسی زبان‌های برنامه‌نویسی شی‌گرا شناخته شده است.[۳][۴][۵] در سال ۱۹۹۳، او زبان برنامه‌نویسی بیبی ماجولا ۳ را منتشر کرد که زیرزبان ماجولا ۳ بر اساس برنامه‌نویسی تابعی و ایدئال‌های نظریه مجموعه است. ابدی یک توسعه‌دهنده اصلی برای چارچوب یادگیری ماشین تنسورفلو[۶] است.
او در سال ۲۰۰۸ عضو انجمن ماشین‌های حسابگر شد.[۷] در سال ۲۰۱۱، به عنوان استاد موقت در کالج فرانسه در پاریس[۸]، تدریس امنیت رایانه را به عهده داشت. او در سال ۲۰۱۸ به دلیل مشارکت در نظریه رسمی امنیت رایانه به عضویت آکادمی ملی مهندسی انتخاب شد.[۹]
او با موسی آبادی، یکی از اعضای مقاومت فرانسه در جنگ جهانی دوم، و کارلوس آبادی یک بانکدار، سرمایه‌دار و نیکوکار ارتباط دارد.[۱۰]
پیوند به بیرون[ویرایش]
منابع[ویرایش]
- ↑ "Martín Abadi – Google Research". Google Research (به انگلیسی). Retrieved 2023-10-16.
- ↑ "dblp: Martín Abadi". dblp.org (به انگلیسی). Retrieved 2023-10-16.
- ↑ "(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.
- ↑ "Trustworthy Global Computing". blackwells.co.uk (به انگلیسی). Retrieved 2023-10-16.
- ↑ 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.
- ↑ 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) - ↑ "Martin Abadi". awards.acm.org (به انگلیسی). Retrieved 2023-12-12.
- ↑ Décret du 7 septembre 2010 portant nomination (enseignements supérieurs) - M. Abadi (Martin), retrieved 2023-12-12
- ↑ "National Academy of Engineering Elects 83 Members and 16 Foreign Members". NAE Website (به انگلیسی). Retrieved 2023-12-12.
- ↑ «Carlos Abadi – Official Website». web.archive.org. ۲۰۱۸-۰۵-۱۳. بایگانی‌شده از اصلی در ۱۳ مه ۲۰۱۸. دریافت‌شده در ۲۰۲۳-۱۲-۱۲.
- مشارکت‌کنندگان ویکی‌پدیا. «Martín Abadi». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۶ مارس ۲۰۱۷.
| عمومی | |
|---|---|
| کتابخانه‌های ملی | |
| پایگاه‌های دادهٔ علمی | |
| سایر | |
 | این یک مقالهٔ خرد یک دانشمند است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |
- اعضای آکادمی ملی مهندسی آمریکا
- اعضای هیئت علمی دانشگاه کالیفرنیا، سانتا کروز
- افراد زنده
- افراد گوگل
- افراد مرتبط با امنیت کامپیوتر
- اهالی آرژانتین
- دانشمندان رایانه اهل ایالات متحده آمریکا
- دانشآموختگان دانشگاه استنفورد
- دور از وطنهای اهل آرژانتین در ایالات متحده آمریکا
- زادگان ۱۹۶۳ (میلادی)
- فلوهای انجمن ماشین‌های حسابگر
- دانشآموختگان مدرسه مهندسی دانشگاه استنفورد
- یهودیان اهل سوریه