Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,, особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром. Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).
Білл Роско | |
---|---|
Народився | 1956 Данді, Шотландія, Велика Британія |
Країна | Велика Британія |
Діяльність | інформатик, інженер |
Alma mater | Університетський коледж Університет Оксфорда |
Галузь | інформатика |
Заклад | Університет Оксфорда |
Науковий керівник | Тоні Гоар |
Аспіранти, докторанти | G. Mike Reedd Martin Paul Wardd T. Yung Kongd Andrew Boucherd Naiem Dathid Geof Barrettd Alan Jeffreyd Gavin Lowed Lars Wulfd Bryan Scattergoodd Ranko Lazićd Tom Newcombd Richard Forsterd Sadie Creesed Philippa Broadfootd Richard Tolcherd Lee Momtahand Eldar Kleinerd Long Nguyend Hristina Palikarevad Brian Scottd |
Членство | Європейська академія UK Computing Research Committeed |
Зноски ред.
- ↑ Математичний генеалогічний проєкт — 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.[en] 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
- Білл Роско(англ.) в проєкті «Математична генеалогія».