To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Peter Lucas (computer scientist)

From Wikipedia, the free encyclopedia

Peter Lucas
Born(1935-01-13)13 January 1935
Vienna, Austria
Died2 February 2015(2015-02-02) (aged 80)
California, United States
NationalityAustrian
Alma materTechnical University of Vienna
Known forFormal methods, Vienna Definition Language (VDL)
AwardsIBM Outstanding Contribution Award (1968)
Scientific career
FieldsComputer science
Institutions
ThesisVerbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen (1959)

Peter Lucas (13 January 1935 in Vienna, Austria – 2 February 2015 in California, United States[1]) was an Austrian computer scientist and university professor.

YouTube Encyclopedic

  • 1/3
    Views:
    4 280 688
    11 906
    2 747
  • A brief history of chess - Alex Gendler
  • Noam Chomsky, Steven Pinker, Jay Keyser, Hilary Putnam at MIT - SHASS 50th Anniv. Colloquium 2000
  • George Lucas Shares His Hopes for Education

Transcription

Life

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

References

  1. ^ a b c d Lucas, Peter in Austria-Forum (in German) (biography)
  2. ^ Lucas, Peter (1959). "Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen". Diplomarbeit (in German). Technical University of Vienna. AC00320349. Retrieved 5 January 2018.
  3. ^ a b OCG-Journal 1/2015: Nachruf auf Peter Lucas Journal der Österreichischen Computer Gesellschaft (OCG), Ausgabe 1/2015, retrieved 29 September 2015.
  4. ^ 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)
  5. ^ Jones, Cliff B. (1990). Systematic Software Development using VDM (PDF) (2nd ed.). Prentice-Hall.
  6. ^ 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

This page was last edited on 13 January 2024, at 13:54
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy