Peter Lucas (computer scientist)
| 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) | 
Peter Lucas (13 January 1935 in Vienna, Austria – 2 February 2015 in California, United States) was an Austrian computer scientist and university professor.