Peter Lucas (13 January 1935 in Vienna, Austria – 2 February 2015 in California, United States[1]) was an Austrian computer scientist and university professor.
[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.
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 1988, he worked in John Backus' group on the definition and implementation of the functional programming language FL.
From 1994, he was chairman of Formal Methods Europe (FME) and corresponding member of the Austrian Academy of Sciences.