جان سی رینولدز | |
---|---|
نام هنگام تولد | 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; ۱ ژوئن ۱۹۳۵ – ۲۸ آوریل ۲۰۱۳) یک دانشمند رایانه اهل ایالات متحده آمریکا بود.