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.
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.
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 .