Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Ендрю Вільям Біл Роско (англ. 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 4 osoblivo shodo semantiki komunikuyuchih poslidovnih procesiv CSP i pov yazanoyi movi occam razom z Toni Goarom 5 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 doktorantiG Mike Reedd 1 Martin Paul Wardd 1 T Yung Kongd 1 Andrew Boucherd 1 Naiem Dathid 1 Geof Barrettd 1 Alan Jeffreyd 1 Gavin Lowed 1 Lars Wulfd 1 Bryan Scattergoodd 1 Ranko Lazicd 1 Tom Newcombd 1 Richard Forsterd 1 Sadie Creesed 1 Philippa Broadfootd 1 Richard Tolcherd 1 Lee Momtahand 1 Eldar Kleinerd 1 Long Nguyend 1 Hristina Palikarevad 1 Brian Scottd 1 ChlenstvoYevropejska akademiya 2 UK Computing Research Committeed 3 Primitkired a b v g d e zh i k l m n p r s t u f h c sh sh Matematichnij 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 Jones C B en and Wood K eds Reflections on the Work of C A R Hoare Springer ISBN 978 1 84882 911 4 2010 Posilannyared Domashnya storinka Arhivovano 21 lyutogo 2018 u Wayback Machine Publikaciyi za im yam Bill Rosko indeksovani Google Scholar servisom Google Bill Rosko angl u proyekti Matematichna genealogiya Otrimano z https uk wikipedia org w index php title Bill Rosko amp oldid 43083492