مارتین ابدی

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

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

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

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

 پیوند به بیرون 
 صفحه شخصی مارتین ابدی در دانشگاه کالیفرنیا، سانتا کروز

 منابع 



رده:اعضای آکادمی ملی مهندسی آمریکا
رده:اعضای هیئت علمی دانشگاه کالیفرنیا، سانتا کروز
رده:افراد زنده
رده:افراد گوگل
رده:افراد مرتبط با امنیت کامپیوتر
رده:اهالی آرژانتین
رده:دانشمندان رایانه اهل ایالات متحده آمریکا
رده:دانش‌آموختگان دانشگاه استنفورد
رده:دور از وطن‌های اهل آرژانتین در ایالات متحده آمریکا
رده:زادگان ۱۹۶۳ (میلادی)
رده:فلوهای انجمن ماشین‌های حسابگر
رده:دانش‌آموختگان مدرسه مهندسی دانشگاه استنفورد
رده:یهودیان اهل سوریه