Peter Lucas (computer scientist)

from Wikipedia, the free encyclopedia

Peter Lucas (born January 13, 1935 in Vienna ; † February 2, 2015 in California ) was an Austrian computer scientist and university professor.

Life

Peter Lucas graduated from high school in 1953 and then studied communications engineering at the Technical University in Vienna . He completed his studies in 1959 with a thesis on programming electronic calculating machines . Afterwards, as a member of Heinz Zemanek's team, he was responsible, among other things, for the system programming of the Mailüfterl , the first fully transistorized computer on the European mainland.

In 1961 he moved to the Mailüfterl-group of the Technical College of the company IBM in the IBM Laboratory Vienna where he worked on the formal description of programming languages. Together with Hans Bekic, Kurt Walk and Heinz Zemanek, he was responsible for the formal definition of the programming language PL / I using the Vienna Definition Language (VDL). He also worked with Hans Bekic on a compiler for Algol 60 . During this time he held lectures and lectures at the Technical University of Vienna and the Kepler University in Linz, among other things on the theoretical principles of programming and the formal definition of programming languages.

In 1978 he went to the Thomas J. Watson Research Center in Yorktown Heights , New York State, where he worked on experimental compiler projects. In 1979 he moved to IBM in San José (California, today IBM Almaden Research Center ). In 1988 he worked in the group around John Backus on the definition and implementation of the functional language FL.

In October 1993 he was appointed full professor for software technology at the Graz University of Technology , and in July 2001 he retired. From 1994 he was chairman of Formal Methods Europe (FME) and a corresponding member of the Austrian Academy of Sciences .

Peter Lucas died on February 2, 2015 at the age of 80.

Awards

Web links

Individual evidence

  1. a b c d Entry on Lucas, Peter in the Austria Forum  (biography)
  2. ↑ Union catalog: For programming electronic calculating machines . Diploma thesis 1959.
  3. a b OCG-Journal 1/2015: Obituary for Peter Lucas Journal of the Austrian Computer Society (OCG), edition 1/2015, accessed on September 29, 2015.
  4. a b c d Formal Aspects of Software Engineering (J.UCS Special Issue in Honor of Professor Peter Lucas) . Journal of Universal Computer Science 7/2001, accessed September 29, 2015.