Кен Робинсон (ученый-компьютерщик)

Кеннет Артур Робинсон
Кеннет Артур Робинсон
	Кен Робинсон
Рожденный	30 июля 1938 г. ; Австралия
Умер	5 сентября 2020 г. (82 года) ; Сидней , Австралия
Альма-матер	Сиднейский университет (Австралия)
Известный	Программная инженерия , формальные методы , B-метод
Награды	Университета Нового Южного Уэльса за выдающиеся достижения в области преподавания (1990 г.) Премия вице-канцлера
	Научная карьера
Поля	Информатика
Учреждения	Университет Нового Южного Уэльса (Австралия)

Кеннет («Кен») Артур Робинсон (30 июля 1938 — 5 сентября 2020) — австралийский учёный-компьютерщик . ^[1]^[2] Его называли «отцом формальных методов в Австралии ». ^[3]

Ранняя жизнь и образование

Кен Робинсон родился в 1938 году. Он получил бакалавра электротехники степень и степень бакалавра физики в 1959 году и математики в 1961 году в Сиднейском университете . ^{[ нужна ссылка ]}

Карьера

Робинсон работал в Университете Нового Южного Уэльса (UNSW) с 1965 по 2012 год, первоначально на факультете электронных вычислений под руководством профессора Мюррея Аллена. ^[1] В 1987–1989 годах он был заведующим кафедрой компьютерных наук, а в 1996–2000 годах — заведующим кафедрой программной инженерии . Он занимал должности в Великобритании в Саутгемптонском университете (1978–79), исследовательской группе по программированию в Оксфордского университета в качестве приглашенного научного сотрудника в Вольфсон-колледже (1985–86), в вычислительной лаборатории Оксфордского университета и в B-Core (1999). ), а также Королевский колледж Холлоуэй ( Лондонский университет ) и Университет Суррея (2003 г.). ^[2]

В 1971 году курсы Робинсона по информатике включали ALGOL W (из Стэнфордского университета ), WATFOR (студенческая версия FORTRAN из Университета Ватерлоо ), Plago ( PL/I для студентов, из Бруклина ), SNOBOL (из Bell Labs ), и IBM System/360 язык ассемблера . ^[3] Последний использовал программу ассемблера , написанную Робинсоном, поскольку ассемблер IBM был слишком медленным для использования студентами.

В 1974 году на факультете компьютерных наук Университета Нового Южного Уэльса был миникомпьютер PDP-11 /40 от Digital Equipment Corporation , который использовался для обучения и администрирования. Кен Робинсон написал Деннису Ритчи из Bell Labs с просьбой предоставить копию операционной системы Unix . Это произошло в 1975 году, что сделало UNSW первым университетом за пределами США , который регулярно использовал Unix. ^[1]

Более поздние исследования и преподавание Робинсона были сосредоточены вокруг формальных методов , в частности, B-метода , Event-B и инструмента Родена . ^[3]

Робинсон разработал первоначальную программу BE Software Engineering в UNSW, а затем совместно с координатором программы. Он также инициировал программу BE Computer Engineering. В 1990 году он получил Университета Нового Южного Уэльса за выдающиеся достижения в области преподавания. премию вице-канцлера ^[1]

Личная жизнь и смерть

Робинсон умер 5 сентября 2020 года. Он был женат, имел семью.

Избранные публикации

Морган, CC ; Робинсон, Калифорния (сентябрь 1987 г.). «Технические условия и доработка». Журнал исследований и разработок IBM . 31 (5): 546–555. дои : 10.1147/rd.315.0546 .
Кэррингтон, Д.А.; Робинсон, К.А. (январь 1991 г.). «Уточнение двух задач о графах». В Моррисе, Джозеф М.; Шоу, Роджер К. (ред.). 4-й семинар по доработке . Семинары по информатике. Спрингер-Верлаг . стр. 241–257.
Берт, Дидье; Боуэн, Джонатан П .; Хенсон, Мартин С .; Робинсон, Кен, ред. (2002). ZB 2002: Формальная спецификация и разработка в Z и B. Конспекты лекций по информатике . Том. 2272. Спрингер . ISBN 3-540-43166-7 .
Шнайдер, Стив А .; Хоанг, Тай Сон; Робинсон, Кен; Трехарн, Хелен (2006). «Мониторинг резервуаров: пример pAMN» (PDF) . Формальные аспекты вычислений . 18 (3): 308–328. дои : 10.1007/s00165-006-0004-5 . S2CID 93435 .

Онлайн

Причины предложения программы разработки программного обеспечения (Кен Робинсон, UNSW, 1990-е гг.)
40 лет в UNSW и рождение CSE, поиск дисциплины (Кен Робинсон, UNSW, 28-28 января 2011 г.)
Проект графика компьютерных наук и инженерии на 1955–2007 гг., Дата редакции: 19 марта, 19:43 (Кен Робинсон, UNSW, 19 марта 2007 г.)
Причины необходимости программы компьютерной инженерии (Кен Робинсон, Университет Нового Южного Уэльса, около 1988 г.)

См. также

Школа компьютерных наук и инженерии UNSW

Ссылки

^ Jump up to: ^а ^б ^с ^д «Вспоминая Кена Робинсона» . Австралия: Школа компьютерных наук и инженерии , Университет Нового Южного Уэльса . 18 сентября 2020 года. Архивировано из оригинала 20 октября 2020 года . Проверено 20 октября 2020 г.
^ Jump up to: ^а ^б Робинсон, Кен (2016). «Кеннет Артур Робинсон». РЕЗЮМЕ .
^ Jump up to: ^а ^б ^с «Кен Робинсон – Воспоминания» (PDF) . ФАКТЫ ФАКС . Том. 1. БКС-FACS . Февраль 2021 г. стр. 26–31 . Проверено 28 марта 2021 г.

[unsw-1] Jump up to: ^а ^б ^с ^д «Вспоминая Кена Робинсона» . Австралия: Школа компьютерных наук и инженерии , Университет Нового Южного Уэльса . 18 сентября 2020 года. Архивировано из оригинала 20 октября 2020 года . Проверено 20 октября 2020 г.

[cv-2] Jump up to: ^а ^б Робинсон, Кен (2016). «Кеннет Артур Робинсон». РЕЗЮМЕ .

[facs-facts-3] Jump up to: ^а ^б ^с «Кен Робинсон – Воспоминания» (PDF) . ФАКТЫ ФАКС . Том. 1. БКС-FACS . Февраль 2021 г. стр. 26–31 . Проверено 28 марта 2021 г.

[1]

[2]

[3]