John C. Reynolds

John charles reynolds Resim açıklaması Reynolds John küçük.jpg. Anahtar veri
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.

Kariyer

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.

Araştırma çalışması

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 .

Ödüller

Seçilmiş Yayınlar

KitabınNesne

Notlar ve referanslar

  1. Larry Fisher , "  John Reynolds, 1935 - 2013  " , ACM İletişimi : ACM News , ABD, Association for Computing Machinery ,29 Nisan 2013( 30 Nisan 2013'te erişildi )
  2. (in) "  John C. Reynolds  " üzerinde web Matematik Şecere Projesi .

Ek kaynakça

İlgili makale

Dış bağlantılar