Роско, Билл
Билл Роско
- Имя при рождении
- Эндрю Уильям Роско
- Род деятельности
-
Информатика;
Формальные методы
Билл Ро́ско (англ. Andrew William "Bill" Roscoe; [Нет даты!]) — шотландский учёный в области информатики. Известен работами в области теории параллельных вычислений и семантики взаимодействующих последовательных процессов (CSP).
Биография[править]
Роско родился в Данди (Шотландия). Изучал математику в Университетском колледже Оксфорда с 1975 по 1978 год, окончив его с высшим баллом на курсе. Затем работал в Вычислительной лаборатории и получил степень доктора философии (DPhil) в 1982 году. В 1983 году был назначен тьютором-исследователем в Университетском колледже, а с 1993 по 1997 год занимал должность старшего тьютора. Возглавлял факультет информатики Оксфордского университета в 2003—2008 и 2009—2014 годах. До 2024 года являлся научным сотрудником Университетского колледжа Оксфорда. В 2024 году в его честь была названа лекционная аудитория на факультете информатики.
Научная деятельность[править]
Роско работает в области теории параллельных вычислений, в частности, занимается семантическим обоснованием взаимодействующих последовательных процессов (CSP) и связанного с ними языка программирования occam совместно с Тони Хоаром[1][2]. Он стал соучредителем компании Formal Systems (Europe) Limited и работал над алгоритмами для инструмента Failures-Divergence Refinement (FDR). Среди его докторантов — Майк Рид[1] и Гэвин Лоу[3].
Примечания[править]
- ↑ 1,0 1,1 Роско, Биллангл. в проекте «Математическая генеалогия»
- ↑ 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).
- ↑ Lowe, Gavin Probabilities and priorities in timed CSP. University of Oxford (1994). Проверено 8 июня 2026.
Ссылки[править]
- Роско, Биллангл. в проекте «Математическая генеалогия»
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Роско, Билл», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|