Joe Stoy


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 .


Joe Stoy hablando sobre Christopher Strachey durante un seminario vespertino de BCS-FACS en la oficina de BCS en Londres, el 15 de noviembre de 2016