Эндрю Уильям Роско - шотландский ученый-компьютерщик . Он был заведующим кафедрой компьютерных наук Оксфордского университета с 2003 по 2014 год и является профессором компьютерных наук. Он также является научным сотрудником из Университетского колледжа в Оксфорде .
Билл Роско | |
---|---|
Родившийся | 1956 (64–65 лет) |
Национальность | Шотландский |
Гражданство | Великобритания |
Альма-матер | Оксфордский университет |
Известен | Связь последовательных процессов |
Научная карьера | |
Поля | Информатика |
Учреждения | Оксфордский университет |
Тезис | Математическая теория коммуникационных процессов (1982) |
Докторант | CAR Hoare [1] |
Докторанты | Г. Майк Рид [1] Гэвин Лоу [2] |
Образование и карьера
Роско родился в Данди, Шотландия . Он учился на математику в Университетском колледже Оксфорда с 1975 по 1978 год, получив высший балл за год в университете. Он продолжил работу в вычислительной лаборатории и получил докторскую степень в 1982 году. Он был назначен научным сотрудником в Университетском колледже в 1983 году и работал старшим преподавателем с 1993 по 1997 год. Он был главой Департамента компьютерных наук в 2003-08 и 2009 –14. [3]
Исследовать
Профессор Роско работает в области теории параллелизма [4], в частности, семантической основы коммуникативных последовательных процессов (CSP) и связанного с ним языка программирования occam совместно с сэром Тони Хоаром . [5] Он стал соучредителем компании Formal Systems (Europe) Limited и работал над алгоритмами для инструмента уточнения ошибок-расхождений (FDR) .
Рекомендации
- ^ a b Билл Роско в проекте « Математическая генеалогия»
- ^ Лоу, Гэвин (1994). Вероятности и приоритеты в синхронизированном CSP (DPhil). Оксфордский университет .
- ^ «Билл Роско» . Департамент компьютерных наук . Проверено 16 декабря 2020 .
- ^ AW Роско насервере библиографии DBLP
- ^ Роско, AW, Джонс, CB и Вуд, К. (ред.), Размышления о работе CAR Hoare . Springer . ISBN 978-1-84882-911-4 (2010).
Внешние ссылки
- Домашняя страница Билла Роско
- Публикации Билла Роско, проиндексированные Google Scholar
- Билл Роско в проекте « Математическая генеалогия»