Peter Lucas (computer scientist)
Peter Lucas (13 January 1935 in Vienna, Austria – 2 February 2015 in California, United States[1]) was an Austrian computer scientist and university professor.
Peter Lucas | |
|---|---|
| Born | 13 January 1935 Vienna, Austria |
| Died | 2 February 2015 (aged 80) California, United States |
| Nationality | Austrian |
| Alma mater | Technical University of Vienna |
| Known for | Formal methods, Vienna Definition Language (VDL) |
| Awards | IBM Outstanding Contribution Award (1968) |
| Scientific career | |
| Fields | Computer science |
| Institutions | |
| Thesis | Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen (1959) |
Life edit
Peter Lucas graduated in 1953 and then studied telecommunications at the Vienna University of Technology.[1] He completed his studies in 1959 with a diploma thesis on the topic of programming electronic calculating machines.[2] Then he was a member of Heinz Zemanek's group and was responsible for the system programming of Mailüfterl, the first fully transistorized computer in continental Europe.[1][3]
In 1961, he moved with the Mailüfterl Group from the Technical University to the IBM company, working at the IBM Laboratory Vienna, where he worked on the formal description of programming languages. Together with Hans Bekić, Kurt Walk, and Heinz Zemanek, he was responsible for the formal definition of the IBM programming language PL/I using the Vienna Definition Language (VDL),[4] an important part of the formal method VDM.[5] In addition, he worked together with Hans Bekić on a compiler for ALGOL 60. During this time, he gave lectures and lectures at the Vienna University of Technology and the Johannes Kepler University Linz, covering theoretical foundations of programming and the formal definition of programming languages.
In 1978, he joined the Thomas J. Watson Research Center at Yorktown Heights, New York, United States, where he worked on experimental compiler projects. In 1979, he moved to IBM in San Jose, California, later the IBM Almaden Research Center. In 1988, he worked in John Backus' group on the definition and implementation of the functional programming language FL.[3]
In October 1993, he was appointed as a full professor in software technology at the Graz University of Technology, retiring to an emeritus position in July 2001. From 1994, he was chairman of Formal Methods Europe (FME) and corresponding member of the Austrian Academy of Sciences.[6]
Peter Lucas died on 2 February 2015 at the age of 80.
Awards edit
- 1968: IBM Outstanding Contribution Award for the formal specification of PL/I[6]
- 1969: Association for Computing Machinery: ACM Best Paper (together with Kurt Walk)[6]
- 1987: Honorary Doctorate at the Johannes Kepler University Linz[1][6]
References edit
- ^ a b c d Lucas, Peter in Austria-Forum (in German) (biography)
- ^ Lucas, Peter (1959). "Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen". Diplomarbeit (in German). Technical University of Vienna. AC00320349. Retrieved 5 January 2018.
- ^ a b OCG-Journal 1/2015: Nachruf auf Peter Lucas Journal der Österreichischen Computer Gesellschaft (OCG), Ausgabe 1/2015, retrieved 29 September 2015.
- ^ Bekić, H.; Bjørner, D.; Henhapl, W.; Jones, C. B.; Lucas, P. (10 June 2005). A formal definition of a PL/I subset. Lecture Notes in Computer Science. Vol. 177. Springer-Verlag. pp. 107–155. doi:10.1007/BFb0048942. ISBN 3-540-13378-X.
{{cite book}}:|journal=ignored (help) - ^ Jones, Cliff B. (1990). Systematic Software Development using VDM (PDF) (2nd ed.). Prentice-Hall.
- ^ a b c d Aichernig, Bernhard K.; Fröhlich, Brigitte; Kerschbaumer, Andreas (2001). "Formal Aspects of Software Engineering (J.UCS Special Issue in Honor of Professor Peter Lucas)". Journal of Universal Computer Science. 7 (8). Retrieved 29 September 2015.
External links edit
- Peter Lucas at DBLP Bibliography Server