Hispanopedia Wiki
Articulo de referencia

Joe Stoy

[[Massachusetts Institute of Technology|MIT]] [[Bluespec]], Inc."},"patrons":{"wt":""},"education":{"wt":"[[Oxford University]]"},"thesis_title":{"wt":""},"thesis_url":{"wt":""}...

Hispanopedia WikiContenido en espanolLectura gratuita

Joseph E. Stoy es un científico informático británico . Inicialmente 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 del Laboratorio de Computación de la Universidad de Oxford (actualmente Departamento de Ciencias de la Computación de la Universidad de Oxford ). [ 1 ] Fue miembro del Balliol College de Oxford . También pasó un tiempo en el Instituto Tecnológico de Massachusetts (MIT) en Estados Unidos . [ 2 ]

En 2003, cofundó Bluespec , Inc., una empresa estadounidense de automatización del diseño electrónico . Esta empresa ofrece un lenguaje de programación funcional llamado Bluespec SystemVerilog (BSV), una variante de Haskell ampliada como lenguaje de descripción de hardware de alto nivel para el diseño de chips electrónicos.

Su libro Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics ( MIT Press , 1977) es ahora un texto clásico. [ 3 ]

Stoy se casó con Gabrielle Stoy, matemática y miembro de Lady Margaret Hall, Oxford . [ 4 ]

Referencias

  1. ↑ Joe Stoy: Intereses de investigación , Laboratorio de Computación de la Universidad de Oxford , Reino Unido.
  2. ↑ "Grupo de trabajo 2.3 de IFIP: Metodología de programación" . Noticias . Microsoft Research . Consultado el 8 de noviembre de 2011 .
  3. ↑ Joe Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics , MIT Press , 1981. (Tapa blanda) . ISBN 978-0-262-69076-8.
  4. ↑ "Perfil: Dra. Gabrielle Stoy" . Oxford, Reino Unido: Lady Margaret Hall, Oxford . Consultado el 17 de noviembre de 2016 .
  • Joseph E. Stoy en el servidor de bibliografía DBLP
  • Verificación de programas y semántica: Los primeros trabajos
  • Strachey y el Grupo de Investigación en Programación de Oxford : una charla de Joe Stoy sobre Christopher Strachey y el Grupo de Investigación en Programación de Oxford .