Peter Lucas (počítačový vědec) - Peter Lucas (computer scientist)

Peter Lucas
narozený(1935-01-13)13. ledna 1935
Vídeň, Rakousko
Zemřel2. února 2015(2015-02-02) (ve věku 80)
Kalifornie, Spojené státy
Národnostrakouský
Alma materTechnická univerzita ve Vídni
Známý jakoFormální metody, Vídeňský definiční jazyk (VDL)
OceněníCena IBM za mimořádný přínos (1968)
Vědecká kariéra
PolePočítačová věda
Instituce
TezeVerbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen  (1959)
VlivyJohn Backus, Heinz Zemanek
OvlivněnoHans Bekić,[1] Kurt Walk

Peter Lucas (narozen 13. ledna 1935 v Vídeň, Rakousko - 2. února 2015 v Kalifornie, Spojené státy[2]) byl rakouský počítačový vědec a univerzitní profesor.

Život

Peter Lucas promoval v roce 1953 a poté studoval telekomunikace na Vídeňská technická univerzita.[2] Studium ukončil v roce 1959 diplomovou prací na téma programování elektronických počítacích strojů.[3] Pak byl členem Heinz Zemanek skupiny a byl zodpovědný za programování systému Mailüfterl, první plně tranzistorový počítač ve Windows kontinentální Evropa.[2][4]

V roce 1961 přešel se skupinou Mailüfterl z Technické univerzity na IBM společnost, pracující v IBM Laboratory Vienna, kde pracoval na formálním popisu programovací jazyky. Spolu s Hansem Bekićem, Kurtem Walkem a Heinzem Zemankem byl odpovědný za formální definici programovacího jazyka IBM PL / I. za použití Vídeňský definiční jazyk (VDL),[5] důležitou součástí formální metody VDM.[6] Kromě toho pracoval společně s Hansem Bekićem na kompilátoru pro ALGOL 60. Během této doby přednášel a přednášel na Vídeňská technická univerzita a Univerzita Johannesa Keplera v Linci, pokrývající teoretické základy programování a formální definici programovacích jazyků.

V roce 1978 nastoupil do Výzkumné centrum Thomase J. Watsona v Yorktown Heights, New York, Spojené státy, kde pracoval na experimentálních projektech překladačů. V roce 1979 přešel do IBM v San Jose, Kalifornie, později Výzkumné centrum IBM Almaden. V roce 1988 pracoval v John Backus "skupina pro definici a provádění Funkcionální programování Jazyk FL.[4]

V říjnu 1993 byl jmenován řádným profesorem v softwarová technologie na Technická univerzita v Grazu, do emeritní pozice odešel v červenci 2001. Od roku 1994 byl předsedou Formální metody Evropa (Sjf) a odpovídající člen Rakouská akademie věd.[7]

Peter Lucas zemřel 2. února 2015 ve věku 80 let.

Ocenění

Reference

  1. ^ Jones, Cliff B. (1984). "Úvod" (PDF). Programovací jazyky a jejich definice - Hans Bekić (1936–1982). LNCS. Springer-Verlag. str. vii – viii. Citováno 5. ledna 2018.
  2. ^ A b C d Lucas, Peter v Rakousko-fórum (v němčině) (životopis)
  3. ^ Lucas, Peter (1959). "Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen". Diplomarbeit (v němčině). Technická univerzita ve Vídni. AC00320349. Citováno 5. ledna 2018.
  4. ^ A b OCG-Journal 1/2015: Nachruf auf Peter Lucas Journal der Österreichischen Computer Gesellschaft (OCG), Ausgabe 1/2015, vyvoláno 29. září 2015.
  5. ^ Bekić, H .; Bjørner, D.; Henhapl, W .; Jones, C. B .; Lucas, P. (10. června 2005). Msgstr "Formální definice podmnožiny PL / I". Programovací jazyky a jejich definice. Přednášky z informatiky. Springer-Verlag. 177: 107–155. doi:10.1007 / BFb0048942. ISBN  3-540-13378-X.
  6. ^ Jones, Cliff B. (1990). Systematický vývoj softwaru pomocí VDM (PDF) (2. vyd.). Prentice-Hall.
  7. ^ A b C d Aichernig, Bernhard K .; Fröhlich, Brigitte; Kerschbaumer, Andreas (2001). „Formální aspekty softwarového inženýrství (zvláštní vydání J.UCS na počest profesora Petera Lucase)“. Journal of Universal Computer Science. 7 (8). Citováno 29. září 2015.

externí odkazy