Józef Stoj
Joseph E. Stoy jest brytyjskim informatykiem . Początkowo studiował fizykę na Uniwersytecie Oksfordzkim . Na początku swojej kariery, w latach 70., pracował nad semantyką denotacyjną z Christopherem Stracheyem w Programming Research Group w Oxford University Computing Laboratory (obecnie Oxford University Department of Computer Science ). Był członkiem Balliol College w Oksfordzie . Spędził także czas w MIT w Stany Zjednoczone . W 2003 roku był współzałożycielem Bluespec, Inc.
Jego książka Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics ( MIT Press , 1977) jest obecnie klasycznym tekstem.
Stoy poślubił Gabrielle Stoy, matematyka i członka Lady Margaret Hall w Oksfordzie .
Linki zewnętrzne
- Joseph E. Stoy na serwerze bibliograficznym DBLP
- Weryfikacja programu i semantyka: wczesna praca
- Strachey i Oxford Programming Research Group : przemówienie Joe Stoya na temat Christophera Stracheya i Oxford Programming Research Group .
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |
| Naukowe bazy danych | |
| Inny | |
- Absolwenci Uniwersytetu Oksfordzkiego
- Brytyjskie odcinki biografii akademickiej
- Brytyjskie odcinki specjalistów komputerowych
- Brytyjscy emigranci w Stanach Zjednoczonych
- Pisarze informatyki
- angielscy informatycy
- Stypendyści Balliol College w Oksfordzie
- Formalne metody ludzi
- Żywi ludzie
- Wydział Massachusetts Institute of Technology
- Członkowie Wydziału Informatyki Uniwersytetu Oksfordzkiego
- Badacze języków programowania