جان سی رینولدز

جان سی رینولدز (;  – ) یک دانشمند رایانه اهل ایالات متحده آمریکا بود.

 تحصیلات 
جان رینولدز در دانشگاه پردو تحصیل کرد و سپس در سال ۱۹۶۱ مدرک دکترای فلسفه (Ph.D.) خود را در رشته فیزیک نظری از دانشگاه هاروارد دریافت کرد. او از سال ۱۹۷۰ تا ۱۹۸۶ استاد علوم اطلاعات در دانشگاه سیراکیوس بود. از آن زمان تا زمان مرگش، استاد علوم رایانه در دانشگاه کارنگی ملون بود. او همچنین در دانشگاه آرهوس (دانمارک)، دانشگاه ادینبرو، امپریال کالج لندن، مؤسسه تحقیقاتی مایکروسافت (کمبریج، انگلستان) و دانشگاه کوئین مری لندن، سمت‌های افتخاری داشت.

 آثار دانشگاهی 
علاقه اصلی تحقیقاتی رینولدز در حوزه طراحی زبان برنامه‌نویسی و زبان‌های مشخصات مرتبط، به ویژه در مورد معناشناسی رسمی بود. او حساب لامبدا چندریختی (سیستم F) را اختراع کرد و ویژگی پارامتریسیته بودن معنایی را فرموله کرد؛ همین حساب به طور مستقل توسط ژان-ایو ژیرار کشف شد. او مقاله‌ای مهم در مورد مفسرهای تعریفی نوشت که کارهای اولیه در مورد ادامه‌ها را روشن کرد و تکنیک غیرعملکردی‌سازی را معرفی کرد.

 منابع 



رده:استادان دانشگاه کارنگی ملون
رده:استادان دانشگاه کوئین مری لندن
رده:دانشگاهیان کالج سلطنتی لندن
رده:دانشمندان رایانه اهل ایالات متحده آمریکا
رده:دانش‌آموختگان دانشگاه پردو
رده:دانش‌آموختگان دانشگاه هاروارد
رده:درگذشتگان ۲۰۱۳ (میلادی)
رده:زادگان ۱۹۳۵ (میلادی)
رده:سردبیران نشریه‌های دانشگاهی
رده:کارکنان مایکروسافت
رده:محققین زبان‌های برنامه‌نویسی
رده:فلوهای انجمن ماشین‌های حسابگر
رده:دانشگاهیان دانشگاه ادینبرو