لوکا کاردلی
لوکا کاردلی | |
|---|---|
 | |
| نام هنگام تولد | Luca Andrea Cardelli |
| زادهٔ | |
| محل تحصیل | دانشگاه پیزا[۱] دانشگاه ادینبرو |
| شناخته‌شده برای | Theory of Objects[۲] with مارتین ابدی |
| جوایز | انجمن سلطنتی (۲۰۰۵) Dahl-Nygaard Prize (۲۰۰۷) Fellow of the انجمن ماشین‌های حسابگر |
| پیشینه علمی | |
| شاخه(ها) | نظریه نوع‌ها Operational semantics |
| محل کار | آزمایشگاه‌های بل مؤسسه تحقیقاتی مایکروسافت دیجیتال ایکویپ‌منت کورپوریشن دانشگاه ادینبرو |
| پایان‌نامه | An algebraic approach to hardware description and verification (۱۹۸۲) |
| استاد راهنما | گوردون پلوتکین[۳] |
| دانشجویان دکتری | Alexander Summers[۳] |
| وبگاه | |
لوکا کاردلی (انگلیسی: Luca Cardelli) یک دانشمند رایانه در زمینه نظریه نوع‌ها و Operational semantics اهل ایتالیا است. وی همکنون ساکن کمبریج در بریتانیا است.
منابع
[ویرایش]- ↑ "CARDELLI, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press.(نیازمند آبونمان)
- ↑ Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 0-387-94775-2.
{{cite book}}: نگهداری یادکرد:نام‌های متعدد:فهرست نویسندگان (link) - ↑ ۳٫۰ ۳٫۱ لوکا کاردلی در پروژه تبارشناسی ریاضی
- مشارکت‌کنندگان ویکی‌پدیا. «Luca Cardelli». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۵ نوامبر ۲۰۱۴.