Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,, особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром. Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).
Білл Роско | |
---|---|
Народився | 1956 Данді, Шотландія, Велика Британія |
Країна | Велика Британія |
Діяльність | інформатик, інженер |
Alma mater | Університетський коледж Університет Оксфорда[1] |
Галузь | інформатика |
Заклад | Університет Оксфорда |
Науковий керівник | Тоні Гоар |
Аспіранти, докторанти | d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] |
Членство | Європейська академія[2] d[3] |
Зноски
- Математичний генеалогічний проєкт — 1997.
- https://www.ae-info.org/ae/Member/Roscoe_Andrew
- https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
- A. W. Roscoe. Публікації DBLP.
- Roscoe, A.W., [en] and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. (2010).
Посилання
- Домашня сторінка [ 21 лютого 2018 у Wayback Machine.]
- Публікації за ім'ям: Білл Роско індексовані Google Scholar, сервісом Google
- Білл Роско(англ.) в проєкті «Математична генеалогія».
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Endryu Vilyam Bil Rosko angl Andrew William Bill Roscoe shotlandskij informatik Pracyuye v oblastyah teoriyi rivnochasnosti osoblivo shodo semantiki komunikuyuchih poslidovnih procesiv CSP i pov yazanoyi movi occam razom z Toni Goarom Ye spivzasnovnikom Formal Systems Europe Limited i rozrobiv algoritmi dlya instrumentu Failures Divergence Refinement FDR Bill RoskoNarodivsya1956 Dandi Shotlandiya Velika BritaniyaKrayina Velika BritaniyaDiyalnistinformatik inzhenerAlma materUniversitetskij koledzh Universitet Oksforda 1 GaluzinformatikaZakladUniversitet OksfordaNaukovij kerivnikToni GoarAspiranti doktorantid 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 ChlenstvoYevropejska akademiya 2 d 3 ZnoskiMatematichnij genealogichnij proyekt 1997 d Track Q829984 https www ae info org ae Member Roscoe Andrew https www theiet org impact society thought leadership expert panels uk computing research committee ukcrc members of ukcrc ukcrc members A W Roscoe Publikaciyi DBLP Roscoe A W en and Wood K eds Reflections on the Work of C A R Hoare Springer ISBN 978 1 84882 911 4 2010 PosilannyaDomashnya storinka 21 lyutogo 2018 u Wayback Machine Publikaciyi za im yam Bill Rosko indeksovani Google Scholar servisom Google Bill Rosko angl v proyekti Matematichna genealogiya