جان سی رینولدز
جان سی رینولدز | |
|---|---|
 | |
| نام هنگام تولد | John Charles Reynolds |
| زادهٔ | ۱ ژوئن ۱۹۳۵ ایالات متحده آمریکا |
| درگذشت | ۲۸ آوریل ۲۰۱۳ (۷۷ سال) ایالات متحده آمریکا |
| ملیت | ایالات متحده آمریکا |
| شناختهشده برای | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection type, polymorphic lambda calculus، پارامتریسیته، separation logic |
| جوایز | Lovelace Medal (2010) |
| پیشینه علمی | |
| پایاننامه | Surface Properties of Nuclear Matter (۱۹۶۱) |
| دانشجویان دکتری | Benjamin C. Pierce |
جان سی رینولدز (انگلیسی: John C. Reynolds; ۱ ژوئن ۱۹۳۵ – ۲۸ آوریل ۲۰۱۳) یک دانشمند رایانه اهل ایالات متحده آمریکا بود.
تحصیلات
جان رینولدز در دانشگاه پردو تحصیل کرد و سپس در سال ۱۹۶۱ مدرک دکترای فلسفه (Ph.D.) خود را در رشته فیزیک نظری از دانشگاه هاروارد دریافت کرد. او از سال ۱۹۷۰ تا ۱۹۸۶ استاد علوم اطلاعات در دانشگاه سیراکیوس بود. از آن زمان تا زمان مرگش، استاد علوم رایانه در دانشگاه کارنگی ملون بود. او همچنین در دانشگاه آرهوس (دانمارک)، دانشگاه ادینبرو، امپریال کالج لندن، مؤسسه تحقیقاتی مایکروسافت (کمبریج، انگلستان) و دانشگاه کوئین مری لندن، سمتهای افتخاری داشت.[۱]
آثار دانشگاهی
علاقه اصلی تحقیقاتی رینولدز در حوزه طراحی زبان برنامهنویسی و زبانهای مشخصات مرتبط، به ویژه در مورد معناشناسی رسمی بود. او حساب لامبدا چندریختی (سیستم F) را اختراع کرد و ویژگی پارامتریسیته بودن معنایی را فرموله کرد؛ همین حساب به طور مستقل توسط ژان-ایو ژیرار کشف شد. او مقالهای مهم در مورد مفسرهای تعریفی نوشت که کارهای اولیه در مورد ادامهها را روشن کرد و تکنیک غیرعملکردیسازی را معرفی کرد.[۲][۳]
منابع
- ↑ «John Reynolds, 1935 – 2013 – Communications of the ACM». cacm.acm.org (به انگلیسی). دریافتشده در ۲۰۲۵-۱۲-۱۶.
- ↑ University, Carnegie Mellon ($dateFormat). "Obituary: John C. Reynolds, Long-time Computer Science Professor Known for Incisive Work on Logical Foundations - News - Carnegie Mellon University". www.cmu.edu (به انگلیسی). Retrieved 2025-12-16.
{{cite web}}: Check date values in:|تاریخ=(help) - ↑ «John C. Reynolds Home Page». www.cs.cmu.edu. دریافتشده در ۲۰۲۵-۱۲-۱۶.
- مشارکتکنندگان ویکیپدیا. «John C. Reynolds». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۶ مارس ۲۰۱۷.