Joe Stoy - Joe Stoy

Joe Stoy mluví dál Christopher Strachey během a BCS-FACS večerní seminář v BCS Kancelář v Londýně, 15. listopadu 2016

Joseph E. Stoy je britský počítačový vědec. Původně studoval fyzika v Oxfordská univerzita. Na začátku své kariéry, v 70. letech, pracoval denotační sémantika s Christopher Strachey v Programovací výzkumná skupina na Oxfordské univerzitní výpočetní laboratoři (nyní Oxford University Department of Computer Science ).[1] Byl Chlapík z Balliol College v Oxfordu. Také strávil nějaký čas v MIT v Spojené státy.[2] V roce 2003 spoluzaložil Bluespec, Inc.

Jeho kniha Denotační sémantika: Scott-Stracheyův přístup k programovací jazykové sémantice (MIT Stiskněte, 1977) je nyní klasický text.[3]

Stoy se oženil s Gabrielle Stoyovou, matematičkou a Chlapík z Lady Margaret Hall, Oxford.[4]

Reference

  1. ^ Joe Stoy: Zájmy výzkumu, Oxford University Computing Laboratory, SPOJENÉ KRÁLOVSTVÍ.
  2. ^ „Pracovní skupina IFIP 2.3: Metodika programování“. Zprávy. Microsoft Research. Citováno 8. listopadu 2011.
  3. ^ Joe Stoy, Denotační sémantika: Scott-Stracheyův přístup k programovací jazykové sémantice, MIT Stiskněte, 1981. (brožovaný výtisk) ISBN  978-0-262-69076-8.
  4. ^ „Profil: Dr. Gabrielle Stoy“. SPOJENÉ KRÁLOVSTVÍ: Lady Margaret Hall, Oxford. Citováno 17. listopadu 2016.

externí odkazy