Joseph E. Stoy es un informático británico . Originalmente estudió física en la Universidad de Oxford . Al principio de su carrera, en la década de 1970, trabajó en semántica denotacional con Christopher Strachey en el Grupo de Investigación de Programación en el Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford ). [1] Fue miembro del Balliol College, Oxford . También ha pasado algún tiempo en el MIT de Estados Unidos . [2] En 2003, cofundóBluespec, Inc.
Su libro Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics ( MIT Press , 1977) es ahora un texto clásico. [3]
Este artículo sobre un especialista en informática del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .
Este artículo de biografía de un académico del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .