stringtranslate.com

Группа исследований программирования

Группа исследований программирования ( PRG ) была частью Вычислительной лаборатории Оксфордского университета (OUCL) в Оксфорде , Англия , вместе с Группой численного анализа , пока OUCL не стал Департаментом компьютерных наук в 2011 году. [1]

PRG была основана Кристофером Стрейчи (1916–1975) [2] в 1965 году. Первоначально она располагалась по адресу 45 Banbury Road . [3]

Тони Хоар , лидер PRG с 1977 по 1999 год

После безвременной кончины Стрейчи в 1977 году руководство взял на себя К. А. Р. Хоар , FRS. [4] Идеал PRG суммирован в следующей цитате Стрейчи, найденной и обнародованной Тони Хоаром после того, как он прибыл в PRG:

Я давно уже считаю, что разделение практической и теоретической работы искусственно и вредно. Большая часть практической работы, выполняемой в области вычислений , как в области программного обеспечения , так и в области проектирования оборудования , необоснованна и неуклюжа, поскольку люди, которые ее выполняют, не имеют четкого понимания фундаментальных принципов проектирования своей работы. Большая часть абстрактной математической и теоретической работы бесплодна, поскольку не имеет точки соприкосновения с реальными вычислениями. Одной из главных целей Programming Research Group как учебной и исследовательской группы было создание атмосферы, в которой это разделение не может произойти. [4] [5]

PRG переехала на Keble Road, 8–11 в 1984 году. В конце 1980-х и начале 1990-х годов некоторые члены PRG размещались по адресу South Parks Road , 2 , включая Джозефа Гогуэна (который был в PRG в 1988–1996 годах). Тони Хоар вышел на пенсию в 1999 году, и PRG возглавил Сэмсон Абрамски с 2000 года. PRG продолжала свою деятельность до переименования Вычислительной лаборатории Оксфордского университета в Департамент компьютерных наук 1 июня 2011 года под руководством Билла Роско , бывшего члена PRG. [1]

PRG был центром передового опыта в области формальных методов , [6] играя ведущую роль в разработке нотации Z (инициированной визитом Жана-Раймона Абриаля ) и CSP (вместе с соответствующим языком программирования Оккама ). Он выиграл Королевские награды совместно с IBM и Inmos за работу в этой области.

Ссылки

  1. ^ ab "О кафедре компьютерных наук". Великобритания: кафедра компьютерных наук Оксфордского университета . Получено 7 сентября 2020 г.
  2. ^ "Кристофер Стрейчи (1916–1975)". Виртуальный музей вычислительной техники . Архив Интернета . 2007. Архивировано из оригинала 26 сентября 2007 года . Получено 3 мая 2013 года .
  3. ^ «Расходы на дом, занятый Программной исследовательской группой, 1966–1968». Bodleian Archives & Manuscripts . Великобритания: Bodleian Library , University of Oxford . MS. Eng. misc. b. 255/B.25 . Получено 7 сентября 2020 г.
  4. ^ ab "История и структура". Oxford University Computing Laboratory, Internet Archive . 2007. Архивировано из оригинала 18 июня 2007. Получено 3 мая 2013 .
  5. ^ "Undergraduate handbook 2006–07". Oxford University Computing Laboratory, Internet Archive . 2007. Архивировано из оригинала 20 июля 2007. Получено 3 мая 2013 .
  6. ^ Джонс, Клифф Б .; Томас, Мартин (11 июня 2020 г.). «Разработка и внедрение формальных методов в Великобритании». arXiv : 2006.06327 [cs.SE].

Внешние ссылки

51°45′35″с.ш. 1°15′31″з.д. / 51,7598°с.ш. 1,2585°з.д. / 51,7598; -1,2585


  • в
  • т
  • е