مارتین ابدی

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

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

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

منابع 

 

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