Grupa Badań Programistycznych

Grupa Badawcza ds. Programowania ( PRG ) była częścią Laboratorium Obliczeniowego Uniwersytetu Oksfordzkiego (OUCL) w Oksfordzie w Anglii wraz z Grupą Analiz Numerycznych , aż do przekształcenia OUCL w Wydział Informatyki w 2011 r.

PRG zostało założone przez Christophera Stracheya (1916–1975) w 1965 r. Pierwotnie mieściło się pod adresem 45 Banbury Road .

Tony Hoare , przywódca PRG od 1977 do 1999

Po przedwczesnej śmierci Stracheya, CAR Hoare , przywództwo FRS przejęło w 1977 r. Etos PRG podsumowuje następujący cytat ze Stracheya, znaleziony i ogłoszony przez Tony'ego Hoare'a po jego przybyciu do PRG:

Od dawna uważałem, że oddzielenie pracy praktycznej od teoretycznej jest sztuczne i szkodliwe. Duża część praktycznej pracy wykonywanej przy informatyce , zarówno przy projektowaniu oprogramowania , jak i sprzętu , jest błędna i niezdarna, ponieważ ludzie, którzy ją wykonują, nie mają jasnego zrozumienia podstawowych zasad projektowania swojej pracy. Większość abstrakcyjnych prac matematycznych i teoretycznych jest jałowa, ponieważ nie ma kontaktu z prawdziwymi obliczeniami. Jednym z głównych celów Grupy Badań nad Programowaniem jako grupy dydaktycznej i badawczej było stworzenie atmosfery, w której nie może nastąpić takie oddzielenie.

PRG przeniosła się na 8–11 Keble Road w 1984 r. Pod koniec lat 80. i na początku 90. niektórzy członkowie PRG mieszkali przy 2 South Parks Road , w tym Joseph Goguen (który był w PRG w latach 1988–1996). Tony Hoare przeszedł na emeryturę w 1999 r., a od 2000 r. PRG kierował Samson Abramsky . PRG działała aż do zmiany nazwy Laboratorium Obliczeniowego Uniwersytetu Oksfordzkiego na Wydział Informatyki w dniu 1 czerwca 2011 r. pod przewodnictwem Billa Roscoe , byłego członka PRG.

PRG było centrum doskonałości w dziedzinie metod formalnych , odgrywając wiodącą rolę w rozwoju notacji Z (zapoczątkowanej wizytą Jean-Raymonda Abriala ) i CSP (wraz z powiązanym językiem programowania Ockham ). Zdobył nagrody Queen's Awards wspólnie z IBM i Inmos za pracę w tej dziedzinie.

Linki zewnętrzne

• Strona internetowa PRG ( Archive.org , 2010)