H N Y
9
7
3
4
8
:
85 Heinz Zemanek
de
Heinz Zemanek was born January 1st, 1920 in Vienna. He studied at the University of TechnologyVienna, where he received the doctorate in 1951, the venia legendi in 1958 and the title of a professor in 1964. From1947 to 1961 he was assistant professor, from 1961 to 1975 he was Director of the IBM Laboratory Vienna(established for and around his team) and from 1975 to 1985 he was IBM Fellow. During all those years until today, hegave each year at least two lectures. The number of his publications exceeds 450. Among the most importantachievements were the management (including money and material procurement ) of the building and programming ofthe pioneer computer "Mailüfterl" (1954 to 1961) and the design of the Vienna Definition Language and Method (VDLand VDM). Heinz Zemanek has been Vicepresident and President of IFIP between 1968 and 1974, and he founded theAustrian Computer Society. He is member of six academies.
|
|
References:
Zemanek, Heinz (1955) Zemanek, H. "Electronic Computers and Information Processing Apparatus at the Vienna Technical University" (German)
E A
in ECIP55 Fachtagung 'Elektronische Rechenmaschinen U (1956) ECIP55 Fachtagung 'Elektronische Rechenmaschinen Und Informationsverarbeitung' [Electronic Digital Computers And Information Processing] Darmstadt, Germany, October 25-27, 1955. Braunschweig, F. Vieweg, 1956.
E
Zemanek, Heinz (1959) Zemanek, Heinz "Die algorithmische Formelsprache ALGOL Part 1" pp72-79 E A
in (1959) ER 1(2) May 1959 E
Zemanek, Heinz (1959) Zemanek, Heinz "Die algorithmische Formelsprache ALGOL Part II" pp140-143 E A
in (1959) ER 1(2) May 1959 E
Zemanek, H., V. (1960) Zemanek, H., V. Kudelka, K. Bandat and K. Walk: Programs for Logical Data Processing. Report for ERO Contract DA-91-591-EUC-1092, Feb. 1960.
E A
in (1959) ER 1(2) May 1959 E
Zemanek, H., V. (1961) Zemanek, H., V. Kudielka, P. Lucas, K. Walk, K. Bandat
and H. Bekic: Extension of the Algorithmic Language ALGOL.
Report for ERO Contract DA-91-591-EUC-1430, July 1961.
E A
in (1959) ER 1(2) May 1959 E
(1963) Zemanek , H review of revised report E A
in (1963) ACM Computing Reviews 4(05) September-October 1963 E
Zemanek, Heinz (1966) Zemanek, H. "Semiotics and programming languages" pp139-143 E A
in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965 E
Zemanek, Heinz (1987) Zemanek, Heinz "Oral history interview by William Aspray", 14 and 16 February 1987, Vienna, Austria. Charles Babbage Institute, University of Minnesota, Minneapolis.
E A
Online page
Extract:
Introduction
Abstract
in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965 E
Zemanek, Heinz (1994) Zemanek, H.: "Early Foundations of Formal Modelling and Language Specification - VDL and VDM" pp251-270 E A
in Proc. (1994) Proc. IFIP Congress 94, North Holland Amsterdam, 1994. E
|
|