Джозеф Э. Стой — британский учёный-компьютерщик . Первоначально он изучал физику в Оксфордском университете . В начале своей карьеры, в 1970-х годах, он работал над денотационной семантикой вместе с Кристофером Стрейчи в группе программных исследований в вычислительной лаборатории Оксфордского университета (ныне кафедра компьютерных наук Оксфордского университета ). [1] Он был членом колледжа Баллиол в Оксфорде . Он также работал в Массачусетском технологическом институте (MIT) в США . [2]
В 2003 году он стал соучредителем Bluespec , Inc., американской компании по автоматизации электронного проектирования . Она предоставляет функциональный язык программирования Bluespec SystemVerilog (BSV), вариант Haskell, расширенный как язык описания оборудования высокого уровня для проектирования электронных чипов.
Его книга «Денотационная семантика: подход Скотта-Стрейчи к семантике языков программирования» ( MIT Press , 1977) теперь является классическим текстом. [3]
Стой женился на Габриэль Стой, математике и члене колледжа Леди Маргарет Холл в Оксфорде . [4]