مارتین ابدی
مارتین ابدی (انگلیسی: Martín Abadi؛ زادهٔ ۱۹۶۳) یک دانشمند رایانه آرژانتینی در زمینه امنیت رایانه و زبان برنامهنویسی است که از سال ۲۰۲۱ در گوگل مشغول به کار است.[۱] وی مدرک پیاچدی خود را از دانشگاه استنفورد در ۱۹۸۷ میلادی دریافت کرد.[۲]
مارتین ابدی | |
---|---|
زادهٔ | ۱۹۶۳ آرژانتین |
ملیت | ایالات متحده آمریکا |
محل تحصیل | دانشگاه استنفورد، ۱۹۸۷ |
پیشینه علمی | |
شاخه(ها) | رمزنگاری |
محل کار | گوگل دانشگاه کالیفرنیا، سانتا کروز |
استاد راهنما | Zohar Manna |
او به دلیل کارش در زمینه امنیت رایانه و زبانهای برنامهنویسی، از جمله مقالهاش (با مایکل باروز و راجر نیدهام) درباره منطق باروز-آبادی-نیدهام برای تجزیه و تحلیل پروتکلهای احراز هویت، و کتابش (با لوکا کاردلی) نظریهای از اشیاء، طرحبندی محاسبات رسمی برای معناشناسی زبانهای برنامهنویسی شیگرا شناخته شده است.[۳][۴][۵] در سال ۱۹۹۳، او زبان برنامهنویسی بیبی ماجولا ۳ را منتشر کرد که زیرزبان ماجولا ۳ بر اساس برنامهنویسی تابعی و ایدئالهای نظریه مجموعه است. ابدی یک توسعهدهنده اصلی برای چارچوب یادگیری ماشین تنسورفلو[۶] است.
او در سال ۲۰۰۸ عضو انجمن ماشینهای حسابگر شد.[۷] در سال ۲۰۱۱، به عنوان استاد موقت در کالج فرانسه در پاریس[۸]، تدریس امنیت رایانه را به عهده داشت. او در سال ۲۰۱۸ به دلیل مشارکت در نظریه رسمی امنیت رایانه به عضویت آکادمی ملی مهندسی انتخاب شد.[۹]
او با موسی آبادی، یکی از اعضای مقاومت فرانسه در جنگ جهانی دوم، و کارلوس آبادی یک بانکدار، سرمایهدار و نیکوکار ارتباط دارد.[۱۰]
پیوند به بیرون
ویرایشمنابع
ویرایش- ↑ "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». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۶ مارس ۲۰۱۷.