John C. Reynolds

John Charles Reynolds Bildbeschreibung Reynolds John klein.jpg. Schlüsseldaten
Geburt 1 st Juni Jahre 1935
Illinois
Tod 28. April 2013
Staatsangehörigkeit amerikanisch
Institutionen Syracuse University , University Carnegie Mellon
Diplom Ph.D.
Ausbildung Harvard Universität
Bekannt für Fortsetzung , Interpreter , Defunktionalisierung, Forsythe und Gedanken Programmiersprachen System F , Parametrizität, Trennlogik
Auszeichnungen Lovelace-Medaille (2010)
Seite? ˅ John Reynolds' Seite an der Carnegie-Mellon University

John Charles Reynolds (1 st Juni 1935 - 28. April 2013) ist ein US - amerikanischer Informatiker . Er ist bekannt für seine Beiträge zur Programmiertheorie.

Karriere

John Reynolds studierte an der Purdue University (1953-56) mit einem B. Sc. und an der Harvard University (1956-61). Im Jahr 1961 erhielt er einen Ph. D. in der theoretischen Physik mit einer Arbeit mit dem Titel „  Oberflächeneigenschaften von Kernmaterie  “ . Anschließend arbeitete er am Argonne National Laboratory (1961-1970). Er interessiert sich für Programmierung und ihre logischen Grundlagen. Von 1970 bis 1986 war er Professor für Informationswissenschaft an der Syracuse University . Von da an war er bis zu seiner Emeritierung im Jahr 2012 Professor für Informatik an der Carnegie-Mellon University , dann emeritierter Professor. Außerdem war er Gastprofessor an der Aarhus University , der University of Edinburgh , dem Imperial College London , Microsoft Research in Cambridge und der Queen Mary University of London . Er machte mehrere Aufenthalte in Frankreich, insbesondere als Gastforscher in Inria in den Jahren 1983-1984. Er war Invited Speaker beim IFIP '83 Kongress in Paris inSeptember 1983.

Forschungsarbeit

John Reynolds' Forschungsschwerpunkt ist das Gebiet der Programmiersprachen und zugehöriger Spezifikationssprachen, insbesondere hinsichtlich ihrer formalen Semantik . Er erfand das F-System oder den polymorphen Lambda-Kalkül, der eine Erweiterung des einfach typisierten Lambda-Kalküls ist, der unabhängig vom Logiker Jean-Yves Girard eingeführt wurde . Er formulierte die Eigenschaft der Parametrizität  (in) der Semantik. Er schrieb eine wegweisende Arbeit über die Definition von Performern , die das frühe Werk über Fortsetzungen sagte und die Technik défonctionalisation  (in) einführte . Er wandte die Kategorientheorie auf die Semantik von Programmiersprachen an . Er definierte die Programmiersprachen Gedanken und Forsythe und ist bekannt für seine Verwendung von Schnittmengentypen bei der Subtypisierung . Er arbeitete an der Trennungslogik , die es erlaubt, gemeinsam genutzte veränderliche Datenstrukturen zu beschreiben und zu analysieren .

John Reynolds war Herausgeber von Communications of the ACM und Journal of the ACM .

Auszeichnungen

Ausgewählte Publikationen

BücherArtikel

Hinweise und Referenzen

  1. Larry Fisher , "  John Reynolds, 1935 - 2013  " , Mitteilungen des ACM : ACM News , USA, Association for Computing Machinery ,29. April 2013(Zugriff am 30. April 2013 )
  2. (in) "  John C. Reynolds  " auf der Website des Mathematics Genealogy Project .

Zusätzliche Bibliographie

Verwandter Artikel

Externe Links