Эндрю Уильям Роско — шотландский компьютерный ученый . Он был заведующим кафедрой компьютерных наук Оксфордского университета с 2003 по 2014 год и был профессором компьютерных наук. Он также был членом University College, Oxford до 2024 года.
Роско родился в Данди, Шотландия . Он учился на степень по математике в University College, Oxford, с 1975 по 1978 год, окончив его с высшим баллом за год обучения в университете. Он продолжил работать в Computing Laboratory и получил степень DPhil в 1982 году. Он был назначен научным сотрудником в University College в 1983 году и занимал должность старшего преподавателя с 1993 по 1997 год. Он был главой кафедры компьютерных наук в 2003-08 и 2009-14 годах. [3]
Профессор Роско работает в области теории параллелизма [4] , в частности, над семантическим обоснованием коммуникационных последовательных процессов (CSP) и связанным с ними языком программирования Оккам совместно с сэром Тони Хоаром . [5] Он был соучредителем Formal Systems (Europe) Limited и работал над алгоритмами для инструмента Failures-Divergence Refinement (FDR) .