Білл Роско
| Білл Роско | |
|---|---|
| Народився | 1956  Данді, Шотландія, Велика Британія |
| Країна |  Велика Британія |
| Діяльність | інформатик, інженер |
| Alma mater | Університетський коледж Університет Оксфорда[1] |
| Галузь | інформатика |
| Заклад | Університет Оксфорда |
| Науковий керівник | Тоні Гоар |
| Аспіранти, докторанти | G. 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 Lazićd[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] |
| Членство | Європейська академія[2] UK Computing Research Committeed[3] |
Ендрю Вільям Біл Роско (англ. Andrew William «Bill» Roscoe) — шотландський інформатик. Працює в областях теорії рівночасності,[4], особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром.[5] Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).
Примітки
- ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ Математичний генеалогічний проєкт — 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., Jones, C.B. and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 (2010).
Посилання
- Домашня сторінка [Архівовано 21 лютого 2018 у Wayback Machine.]
- Публікації за ім'ям: Білл Роско індексовані Google Scholar, сервісом Google
- Білл Роско(англ.) у проєкті «Математична генеалогія».
Джерело: стаття у Вікіпедії та історія редагувань (автори).