Peter Lucas (datavetare)

Peter Lucas
Född	( 1935-01-13 ) 13 januari 1935 Wien , Österrike
dog	2 februari 2015 (2015-02-02) (80 år) Kalifornien , USA
Nationalitet	österrikisk
Alma mater	Wiens tekniska universitet
Känd för	Formella metoder , Vienna Definition Language (VDL)
Utmärkelser	IBM Outstanding Contribution Award (1968)
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	IBM Laboratory Wien Thomas J. Watson Research Center IBM Almaden Research Center Tekniska universitetet i Graz
Avhandling	Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen (1959)
Influenser	John Backus , Heinz Zemanek
Influerad	Hans Bekić, Kurt Walk

Peter Lucas (13 januari 1935 i Wien , Österrike – 2 februari 2015 i Kalifornien , USA) var en österrikisk datavetare och universitetsprofessor.

Liv

Peter Lucas tog examen 1953 och studerade sedan telekommunikation vid Wiens tekniska universitet . Han avslutade sina studier 1959 med en diplomuppsats på temat programmering av elektroniska beräkningsmaskiner. Sedan var han medlem i Heinz Zemaneks grupp och ansvarade för systemprogrammeringen av Mailüfterl , den första helt transistoriserade datorn på det europeiska kontinentet .

1961 flyttade han med Mailüfterl-gruppen från det tekniska universitetet till IBM -företaget, där han arbetade på IBM Laboratory Wien , där han arbetade med den formella beskrivningen av programmeringsspråk . Tillsammans med Hans Bekić, Kurt Walk och Heinz Zemanek var han ansvarig för den formella definitionen av IBMs programmeringsspråk PL/I med hjälp av Vienna Definition Language (VDL), en viktig del av den formella metoden VDM . Dessutom arbetade han tillsammans med Hans Bekić på en kompilator för ALGOL 60 . Under denna tid höll han föreläsningar och föreläsningar vid Wiens tekniska universitet och Johannes Kepler-universitetet i Linz, som täckte teoretiska grunder för programmering och den formella definitionen av programmeringsspråk.

1978 började han på Thomas J. Watson Research Center i Yorktown Heights , New York , USA , där han arbetade med experimentella kompilatorprojekt. 1979 flyttade han till IBM i San Jose, Kalifornien , senare IBM Almaden Research Center . 1988 arbetade han i John Backus grupp med definitionen och implementeringen av det funktionella programmeringsspråket FL .

I oktober 1993 utnämndes han till professor i mjukvaruteknik vid Graz tekniska universitet , och avgick till en emeritustjänst i juli 2001. Från 1994 var han ordförande för Formal Methods Europe (FME) och motsvarande ledamot av den österrikiska akademin av vetenskaper .

Peter Lucas dog den 2 februari 2015 vid 80 års ålder.

Utmärkelser

• 1968: IBM Outstanding Contribution Award för den formella specifikationen av PL/I
• 1969: Association for Computing Machinery : ACM Best Paper (tillsammans med Kurt Walk)
• 1987: Hedersdoktor vid Johannes Kepler University Linz

externa länkar

• Peter Lucas på DBLP Bibliography Server