Питер Лукас (ученый-компьютерщик)

Питер Лукас
Питер Лукас
Рожденный	13 января 1935 г. ; Вена , Австрия
Умер	2 февраля 2015 г. (80 лет) ; Калифорния , США
Национальность	австрийский
Альма-матер	Технический университет Вены
Известный	Формальные методы , Венский язык определений (VDL)
Награды	Премия IBM за выдающийся вклад (1968)
	Научная карьера
Поля	Информатика
Учреждения	Лаборатория IBM в Вене ; Исследовательский центр Томаса Дж. Уотсона ; Исследовательский центр IBM в Альмадене ; Технический университет Граца ;
Диссертация	Каталог Союза: О программировании электронных счетных машин (1959 г.)

Питер Лукас (13 января 1935 года в Вене , Австрия — 2 февраля 2015 года в Калифорнии , США) ^[1]) был австрийским ученым-компьютерщиком и профессором университета.

Жизнь

Питер Лукас получил высшее образование в 1953 году, а затем изучал телекоммуникации в Венском технологическом университете . ^[1] В 1959 году он завершил учебу, защитив дипломную работу на тему программирования электронных вычислительных машин. ^[2] Тогда он был членом группы Хайнца Земанека и отвечал за системное программирование Майлюфтерля , первого полностью транзисторного компьютера в континентальной Европе . ^[1]^[3]

В 1961 году он перешёл вместе с Mailüfterl Group из Технического университета в компанию IBM , работая в лаборатории IBM в Вене , где занимался формальным описанием языков программирования . Вместе с Хансом Бекичем, Куртом Уолком и Хайнцем Земанеком он отвечал за формальное определение языка программирования IBM PL/I с использованием Венского языка определений (VDL). ^[4] важная часть формального метода ВДМ . ^[5] Кроме того, он работал вместе с Хансом Бекичем над компилятором для АЛГОЛА 60 . За это время он читал лекции и лекции в Венском технологическом университете и Университете Иоганна Кеплера в Линце , освещая теоретические основы программирования и формальное определение языков программирования.

В 1978 году он присоединился к Исследовательскому центру Томаса Дж. Уотсона в Йорктаун-Хайтс , Нью-Йорк , США , где работал над экспериментальными проектами компиляторов. В 1979 году он перешёл в IBM в Сан-Хосе, Калифорния , позже в Исследовательский центр IBM в Альмадене . В 1988 году он работал в группе Джона Бэкуса над определением и реализацией функционального программирования языка FL . ^[3]

В октябре 1993 года он был назначен профессором технологии программного обеспечения в Технологическом университете Граца , а в июле 2001 года вышел на почетную должность. С 1994 года он был председателем организации Formal Methods Europe (FME) и членом-корреспондентом Австрийской академии. наук . ^[6]

Питер Лукас умер 2 февраля 2015 года в возрасте 80 лет.

Награды

1968: Премия IBM за выдающийся вклад за формальную спецификацию PL/I. ^[6]
1969: Ассоциация вычислительной техники : лучшая статья ACM (совместно с Куртом Уоком) ^[6]
1987: Почетный доктор Университета Иоганна Кеплера в Линце. ^[1]^[6]

Ссылки

^ Перейти обратно: ^а ^б ^с ^д Лукас, Питер в Австрии-Форуме (на немецком языке) (биография)
^ Лукас, Питер (1959). «Каталог Ассоциации: По программированию электронных калькуляторов» . Дипломная работа (на немецком языке). Технический университет Вены . AC00320349 . Проверено 5 января 2018 г.
^ Перейти обратно: ^а ^б OCG-Journal 1/2015: Некролог Питера Лукаса Журнал Австрийского компьютерного общества (OCG), выпуск 1/2015, получено 29 сентября 2015 г.
^ Бекич, Х.; Бьорнер, Д .; Хенхапл, В.; Джонс, CB; Лукас, П. (10 июня 2005 г.). Формальное определение подмножества PL/I . Конспекты лекций по информатике . Том. 177. Шпрингер-Верлаг . стр. 107–155. дои : 10.1007/BFb0048942 . ISBN 3-540-13378-Х . {{cite book}}: |journal= игнорируется ( помогите )
^ Джонс, Клифф Б. (1990). Систематическая разработка программного обеспечения с использованием VDM (PDF) (2-е изд.). Прентис-Холл .
^ Перейти обратно: ^а ^б ^с ^д Айхерниг, Бернхард К.; Счастлива, Бриджит; Кершбаумер, Андреас (2001). «Формальные аспекты разработки программного обеспечения (специальный выпуск J.UCS в честь профессора Питера Лукаса)» . Журнал универсальной информатики . 7 (8) . Проверено 29 сентября 2015 г.

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

Питер Лукас на DBLP библиографическом сервере

[austriaforum-1] Перейти обратно: ^а ^б ^с ^д Лукас, Питер в Австрии-Форуме (на немецком языке) (биография)

[2] Лукас, Питер (1959). «Каталог Ассоциации: По программированию электронных калькуляторов» . Дипломная работа (на немецком языке). Технический университет Вены . AC00320349 . Проверено 5 января 2018 г.

[ocg2015-3] Перейти обратно: ^а ^б OCG-Journal 1/2015: Некролог Питера Лукаса Журнал Австрийского компьютерного общества (OCG), выпуск 1/2015, получено 29 сентября 2015 г.

[4] Бекич, Х.; Бьорнер, Д .; Хенхапл, В.; Джонс, CB; Лукас, П. (10 июня 2005 г.). Формальное определение подмножества PL/I . Конспекты лекций по информатике . Том. 177. Шпрингер-Верлаг . стр. 107–155. дои : 10.1007/BFb0048942 . ISBN 3-540-13378-Х . {{cite book}}: |journal= игнорируется ( помогите )

[jones90-5] Джонс, Клифф Б. (1990). Систематическая разработка программного обеспечения с использованием VDM (PDF) (2-е изд.). Прентис-Холл .

[jucs-6] Перейти обратно: ^а ^б ^с ^д Айхерниг, Бернхард К.; Счастлива, Бриджит; Кершбаумер, Андреас (2001). «Формальные аспекты разработки программного обеспечения (специальный выпуск J.UCS в честь профессора Питера Лукаса)» . Журнал универсальной информатики . 7 (8) . Проверено 29 сентября 2015 г.

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Германия
академики	ДБЛП