مارتین ابدی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
اتصال به سربرگ دیگر |
منابع و ارجاعات |
||
خط ۲۵: | خط ۲۵: | ||
| footnotes = |
| footnotes = |
||
}} |
}} |
||
'''مارتین ابدی''' ({{lang-en|Martín Abadi}}؛ زادهٔ ۱۹۶۳) یک دانشمند رایانه [[آرژانتینی]] در زمینه [[امنیت رایانه]] و [[زبان برنامهنویسی]] است که از سال ۲۰۲۱ در [[گوگل]] مشغول به کار است. وی مدرک [[پیاچدی]] خود را از [[دانشگاه استنفورد]] در ۱۹۸۷ میلادی دریافت کرد. |
'''مارتین ابدی''' ({{lang-en|Martín Abadi}}؛ زادهٔ ۱۹۶۳) یک دانشمند رایانه [[آرژانتینی]] در زمینه [[امنیت رایانه]] و [[زبان برنامهنویسی]] است که از سال ۲۰۲۱ در [[گوگل]] مشغول به کار است.<ref>{{یادکرد وب|عنوان=Martín Abadi – Google Research|نشانی=https://research.google/people/abadi/|وبگاه=Google Research|بازبینی=2023-10-16|کد زبان=en}}</ref> وی مدرک [[پیاچدی]] خود را از [[دانشگاه استنفورد]] در ۱۹۸۷ میلادی دریافت کرد.<ref>{{یادکرد وب|عنوان=dblp: Martín Abadi|نشانی=https://dblp.org/pid/a/MartinAbadi.html|وبگاه=dblp.org|بازبینی=2023-10-16|کد زبان=en}}</ref> |
||
او به دلیل کارش در زمینه [[امنیت رایانه]] و [[زبانهای برنامهنویسی]]، از جمله مقالهاش (با مایکل باروز و راجر نیدهام) درباره منطق باروز-آبادی-نیدهام برای تجزیه و تحلیل پروتکلهای [[احراز هویت]]، و کتابش (با [[لوکا کاردلی]]) نظریهای از اشیاء، طرحبندی محاسبات رسمی برای معناشناسی زبانهای [[برنامهنویسی شیءگرا|برنامهنویسی شیگرا]] شناخته شده است. |
او به دلیل کارش در زمینه [[امنیت رایانه]] و [[زبانهای برنامهنویسی]]، از جمله مقالهاش (با مایکل باروز و راجر نیدهام) درباره منطق باروز-آبادی-نیدهام برای تجزیه و تحلیل پروتکلهای [[احراز هویت]]، و کتابش (با [[لوکا کاردلی]]) نظریهای از اشیاء، طرحبندی محاسبات رسمی برای معناشناسی زبانهای [[برنامهنویسی شیءگرا|برنامهنویسی شیگرا]] شناخته شده است.<ref>{{یادکرد وب|عنوان=(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|نشانی=https://www.scribd.com/document/364201301/Lecture-Notes-in-Computer-Science-Marti-n-Abadi-Alberto-Lluch-Lafuente-eds-Trustworthy-Global-Computing-8th-International-Symposium-TGC-2013|وبگاه=Scribd|بازبینی=2023-10-16|کد زبان=en}}</ref><ref>{{یادکرد وب|عنوان=Trustworthy Global Computing|نشانی=https://blackwells.co.uk/bookshop/product/Trustworthy-Global-Computing-by-Martin-Abadi-editor/9783319051192|وبگاه=blackwells.co.uk|بازبینی=2023-10-16|کد زبان=en}}</ref><ref>{{Cite journal|date=2014|editor-last=Abadi|editor-first=Martín|editor2-last=Lluch Lafuente|editor2-first=Alberto|title=Trustworthy Global Computing|url=https://link.springer.com/book/10.1007/978-3-319-05119-2|journal=Lecture Notes in Computer Science|language=en|doi=10.1007/978-3-319-05119-2|issn=0302-9743}}</ref> |
||
== پیوند به بیرون == |
== پیوند به بیرون == |
نسخهٔ ۱۶ اکتبر ۲۰۲۳، ساعت ۰۷:۳۷
مارتین ابدی | |
---|---|
زادهٔ | ۱۹۶۳ آرژانتین |
محل زندگی | ایالات متحده آمریکا |
ملیت | ایالات متحده آمریکا |
محل تحصیل | دانشگاه استنفورد، ۱۹۸۷ |
پیشینه علمی | |
شاخه(ها) | رمزنگاری |
محل کار | گوگل دانشگاه کالیفرنیا، سانتا کروز |
استاد راهنما | 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.
- مشارکتکنندگان ویکیپدیا. «Martín Abadi». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۶ مارس ۲۰۱۷.
ردهها:
- اعضای آکادمی ملی مهندسی آمریکا
- اعضای هیئت علمی دانشگاه کالیفرنیا، سانتا کروز
- افراد زنده
- افراد گوگل
- افراد مرتبط با امنیت کامپیوتر
- اهالی آرژانتین
- دانشمندان رایانه اهل ایالات متحده آمریکا
- دانشآموختگان دانشگاه استنفورد
- دور از وطنهای اهل آرژانتین در ایالات متحده آمریکا
- زادگان ۱۹۶۳ (میلادی)
- فلوهای انجمن ماشینهای حسابگر
- دانشآموختگان مدرسه مهندسی دانشگاه استنفورد