John Charles Reynolds (1 de junio de 1935 - 28 de abril de 2013) fue un informático estadounidense . [1]
John Reynolds estudió en la Universidad Purdue y luego obtuvo un Doctorado en Filosofía (Ph.D.) en física teórica de la Universidad de Harvard en 1961. Fue profesor de ciencias de la información en la Universidad de Syracuse de 1970 a 1986. Desde entonces hasta su muerte, Fue profesor de informática en la Universidad Carnegie Mellon . También ocupó cargos visitantes en la Universidad de Aarhus ( Dinamarca ), la Universidad de Edimburgo , el Imperial College London , Microsoft Research ( Cambridge , Reino Unido) y la Universidad Queen Mary de Londres .
El principal interés de investigación de Reynolds estaba en el área del diseño de lenguajes de programación y lenguajes de especificación asociados, especialmente en lo que respecta a la semántica formal . Inventó el cálculo lambda polimórfico (Sistema F) y formuló la propiedad de la parametricidad semántica ; El mismo cálculo fue descubierto de forma independiente por Jean-Yves Girard . Escribió un artículo fundamental sobre intérpretes de definiciones, que aclaró los primeros trabajos sobre continuaciones e introdujo la técnica de desfuncionalización . Aplicó la teoría de categorías a la semántica del lenguaje de programación . Definió los lenguajes de programación Gedanken y Forsythe, conocidos por su uso de tipos de intersección . Trabajó en una lógica de separación para describir y razonar sobre estructuras de datos mutables compartidas .
Reynolds creó una formulación elegante e idealizada del lenguaje de programación ALGOL , que exhibe la pureza sintáctica y semántica de ALGOL y se utiliza en la investigación de lenguajes de programación. También presentó un argumento metodológico convincente sobre la idoneidad de los efectos locales en el contexto de los lenguajes de llamada por nombre , en contraste con los efectos globales utilizados por los lenguajes de llamada por valor como ML . La integridad conceptual del lenguaje lo convirtió en uno de los principales objetos de investigación semántica, junto con la programación de funciones computables (PCF) y ML. [2]
Fue editor de revistas como Comunicaciones de la ACM y Revista de la ACM . En 2001, fue nombrado miembro de la Association for Computing Machinery (ACM). Ganó el premio ACM SIGPLAN Programming Language Achievement Award en 2003 y la medalla Lovelace de la British Computer Society en 2010.