Питер Лукас (специалист по информатике)
Питер Лукас | |
|---|---|
| Рожденный | ( 1935-01-13 )13 января 1935 г. Вена , Австрия |
| Умер | 2 февраля 2015 г. (2015-02-02)(80 лет) Калифорния , США |
| Национальность | австрийский |
| Альма-матер | Венский технический университет |
| Известный | Формальные методы , Венский язык определений (VDL) |
| Награды | Премия IBM за выдающийся вклад (1968) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Тезис | Полный каталог: Zur Programmierung Elektronischer Rechenmaschinen (1959) |
Питер Лукас (13 января 1935 года в Вене , Австрия — 2 февраля 2015 года в Калифорнии , США [1] ) был австрийским учёным-компьютерщиком и профессором университета.
Жизнь
Питер Лукас окончил университет в 1953 году, а затем изучал телекоммуникации в Венском технологическом университете . [1] Он завершил свое обучение в 1959 году, защитив дипломную работу на тему программирования электронных вычислительных машин. [2] Затем он был членом группы Хайнца Земанека и отвечал за системное программирование Mailüfterl , первого полностью транзисторного компьютера в континентальной Европе . [1] [3]
В 1961 году он вместе с Mailüfterl Group перешёл из Технического университета в компанию IBM , где работал в лаборатории IBM в Вене , где занимался формальным описанием языков программирования . Вместе с Гансом Бекичем, Куртом Уолком и Хайнцем Земанеком он отвечал за формальное определение языка программирования IBM PL/I с использованием Vienna Definition Language (VDL), [4] важной части формального метода VDM . [5] Кроме того, он работал вместе с Гансом Бекичем над компилятором для ALGOL 60. В это время он читал лекции и доклады в Венском технологическом университете и Университете имени Иоганна Кеплера в Линце , освещая теоретические основы программирования и формальное определение языков программирования.
В 1978 году он присоединился к Исследовательскому центру Томаса Дж. Уотсона в Йорктаун-Хайтс , Нью-Йорк , США , где работал над экспериментальными проектами компиляторов. В 1979 году он перешел в IBM в Сан-Хосе, Калифорния , позже в Исследовательский центр IBM Almaden . В 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]
Ссылки
- ^ abcd Лукас, Питер в Austria-Forum (на немецком языке) (биография)
- ^ Лукас, Питер (1959). «Дополнительный каталог: Zur Programmierung Elektronischer Rechenmaschinen». Diplomarbeit (на немецком языке). Технический университет Вены . AC00320349 . Проверено 5 января 2018 г.
- ^ ab OCG-Journal 1/2015: Nachruf auf Peter Lucas Journal der Österreichischen Computer Gesellschaft (OCG), Ausgabe 1/2015, получено 29 сентября 2015 г.
- ^ Bekić, H.; Bjørner, D .; Henhapl, W.; Jones, CB; Lucas, P. (10 июня 2005 г.). Формальное определение подмножества PL/I . Lecture Notes in Computer Science . Vol. 177. Springer-Verlag . pp. 107–155. doi :10.1007/BFb0048942. ISBN 3-540-13378-X.
{{cite book}}:|journal=проигнорировано ( помощь ) - ^ Джонс, Клифф Б. (1990). Систематическая разработка программного обеспечения с использованием VDM (PDF) (2-е изд.). Prentice-Hall .
- ^ abcd Айхерниг, Бернхард К.; Фрелих, Бриджит; Кершбаумер, Андреас (2001). «Формальные аспекты разработки программного обеспечения (специальный выпуск J.UCS в честь профессора Питера Лукаса)». Журнал универсальной информатики . 7 (8) . Проверено 29 сентября 2015 г.
Внешние ссылки
- Питер Лукас на библиографическом сервере DBLP
