Doğum |
1 st Haziran 1935 Illinois |
---|---|
Ölüm | 28 Nisan 2013 |
Milliyet | Amerikan |
kurumlar | Syracuse Üniversitesi , Carnegie Mellon Üniversitesi |
Diploma | Doktora |
Eğitim | Harvard Üniversitesi |
Ünlü | devam , yorumlayıcı , işlevsizleştirme, Forsythe ve Gedanken programlama dilleri Sistem F , parametriklik, ayırma mantığı |
Ödüller | Lovelace madalyası (2010) |
Alan | Carnegie-Mellon Üniversitesi'nde John Reynolds' sayfası |
John Charles Reynolds (1 st Haziran 1935 - 28 Nisan 2013) Amerikalı bir bilgisayar bilimcisidir . Programlama teorisine katkılarıyla ünlüdür.
John Reynolds, Purdue Üniversitesi'nde (1953-56) B. Sc. ve Harvard Üniversitesi'nde ( 1956-61) okudu . 1961'de bir elde Ph. D. de teorik fizik başlıklı tez ile “ Nükleer Maddenin Yüzey Özellikleri ” . Daha sonra Argonne Ulusal Laboratuvarı'nda (1961-1970) çalıştı . Programlama ve mantıksal temelleri ile ilgileniyor. O profesörü bilgi biliminin en Syracuse Üniversitesi'nden Bu tarihten itibaren 1986 için 1970, o profesörü oldu bilgisayar biliminin de Carnegie-Mellon Üniversitesinde 2012 yılında emekli, sonra fahri profesör kadar. O da konuk profesör olmuştur Aarhus Üniversitesi , Edinburgh Üniversitesi'nden , Imperial College London'da , Microsoft Research in Cambridge, ve Londra Queen Mary Üniversitesi . Özellikle 1983-1984 yıllarında Inria'da misafir araştırmacı olarak Fransa'da birkaç kez kaldı. O edildi Davetli Konuşmacı Paris IFIP '83 kongrede deEylül 1983.
John Reynolds'un ana araştırma konusu , özellikle biçimsel anlambilimleriyle ilgili olarak, programlama dilleri ve ilgili belirtim dilleri alanıdır . Mantıkçı Jean-Yves Girard tarafından bağımsız olarak tanıtılan, basitçe yazılan lambda-hesabının bir uzantısı olan F sistemini veya polimorfik lambda-hesabı icat etti . Parametrikliğin (in) semantik özelliğini formüle etti . O tanımına bir ufuklar kağıt yazdı sanatçılar üzerindeki işten erken söyledi, devamlılık ve teknik tanıtıldı défonctionalisation (in) . O uygulanan kategori teorisi için programlama dillerinin semantik . O programlama dilleri tanımlanmış Gedanken ve Forsythe ve onun kullanımı ile tanınır kesişim türleri içinde alttiplendirmesinde . Paylaşılan değişken veri yapılarını tanımlamaya ve analiz etmeye izin veren ayırma mantığı üzerinde çalıştı .
John Reynolds, Communications of the ACM ve Journal of the ACM'nin editörüdür .