DOCSLIB.ORG

Auf Einen Blick at a Glance Inhalt Contents

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Auf einen Blick At a Glance Inhalt Contents Leitbild Mission Statement 3 Forschung Research 4 Lehre Teaching 8 Organisation Organisation 10 Diversity Diversity 12 Die TU Wien TU Wien as 14 als Arbeitgeberin Employer Standorte Sites 16 Geschichte History 18 Auswahl berühmter A Selection of 20 Absolvent_innen famous Graduates Kooperationen Collaborations 22 Internationales International 24 Orientation Über das Studium Beyond Studying 26 Heisler | goemb.at Matthias & S.2): Bilder (S.1 hinaus 2 Leitbild Mission Statement „Technik für Menschen” - das ist das Leitbild der TU Wien. Es “Technology for people” – that is TU Wien’s mission statement. steht für wissenschaftliche Exzellenz durch Forschung und It stands for academic excellence through research and umfassende Kompetenz durch Lehre. wide-ranging competence through teaching. Die Forschung an der TU Wien entwickelt sich kontinuierlich Research at TU Wien is constantly progressing and developing, weiter - durch Bündelung der Kräfte und Ko operationen. Sie by combining different strengths and through collaboration. beruht auf zwei Säulen: der fachlich ausdifferenzierten Grund- It rests on twin pillars: basic research differentiated according lagenforschung einerseits und der anwendungsorientierten to discipline, and application-orientated university research. universitären Forschung andererseits. In its teaching, TU Wien places great value on communicating In der Lehre legt die TU Wien Wert darauf, Grundlagen, aber not only principles but also the ability to acquire knowledge. auch die Fähigkeit zum eigenständigen Wissenserwerb, zu Students are therefore involved in ongoing research projects. vermitteln. Die Studierenden werden dabei in laufende Forschungsprojekte eingebunden. A major objective for TU Wien is to give all members an equal opportunity to realise their potential. For this reason, equal op- Ein großes Anliegen der TU Wien ist dabei, allen Angehörigen portunities are promoted in particular for women, who are tra- die gleichen Chancen zur Einbringung ihres Potenzials zu ditionally under-represented in technical fields. geben. Deshalb wird insbesondere die Chancengleichheit von Frauen gefördert, die im technischen Bereich traditionell unter- repräsentiert sind. 3 Forschung Research Die Forschung an der TU Wien stützt sich auf fünf Research at TU Wien is focused on five focal areas. These five Forschungsschwerpunkte. Diese fünf Säulen repräsentieren die pillars represent strengths and skills of TU Wien going back langjährigen Stärken und Kompetenzen der TU Wien und many years, and they strengthen its profile in international schärfen so ihr Profil im internationalen Wettbewerb. Innerhalb competition. Within these focal areas, work is carried out on an dieser Forschungsschwerpunkte wird fakultätsübergreifend inter-disciplinary basis and the research spectrum is being con- gearbeitet und das Forschungsspektrum laufend weiter- stantly developed. The “Additional Fields” provide further, entwickelt. Mit den Additional Fields gibt es noch zusätzliche, equally important areas for research. All research activities are aber ebenso wichtige Forschungsfelder. Alle Forschungs- organised into a matrix (see illustration on page 7). tätigkeiten sind in einer Matrix organisiert (Abbildung auf Seite 7). www.tuwien.at/forschung 4 Die Forschungsschwerpunkte Research Focal Areas Computational Science and Engineering Die TU Wien forscht an technologischen Grundlagen der TU Wien is researching the technological principles of infor- Informationsverarbeitung, um innovative Anwendungen der mation processing, with the aim of enabling innovative applica- Computertechnik entwickeln zu können. Die Spanne reicht von tions to be developed within computer engineering. The topics den mathematischen Fundamenten über die Entwicklung elek- covered range from mathematical foundations to the develop- tronischer Hardware bis hin zur Simulation hochkomplexer ment of electronic hardware and the simulation of highly com- Systeme. plex systems. Quantum Physics and Quantum Technologies An der TU Wien werden mögliche Anwendungen von Quanten- TU Wien is researching possible applications of quantum phe- phänomenen erforscht. Diese reichen von fundamentalen nomena, ranging from fundamental interactions between Wechselwirkungen der Elementarteilchen über Strahlungs- elementary particles, via sources of radiation for ultra-short quellen für ultrakurze Photonenpulse bis zur Steuerung der photon pulses, to the control of the states of individual atoms Zustände einzelner Atome und damit zu Bauelementen für den and hence to components for quantum computers. Quantencomputer. Materials and Matter Geforscht wird von der Nanowelt bis hin zur Entwicklung neuer Research is being conducted into everything from the nano-world Werkstoffe für großvolumige Anwendungen. Es wird hier to the development of new materials for large volume applica- sowohl theoretisch, beispielsweise an mathematischen tions. Work is conducted both on a theoretical basis – for instance, Modellen am Computer, wie auch experimentell an der Entwick- with mathematical models on computers – and on an experimental lung und Erprobung innovativer Materialien gearbeitet. basis, with the development and testing of innovative materials. 5 Information and Communication Technology Forschung und Entwicklung wird hier durch eine Vielzahl an Research and development is carried out here by means of a interdisziplinären Projekten realisiert. Im Fokus steht das wide range of interdisciplinary projects, with a focus on the in- Internet. Neben den technischen Grundlagen wird auch die ternet. In addition to technological principles, the economic, wirtschaftliche, soziale und kulturelle Einbettung der Infor- social and cultural integration of information and communi- mations- und Kommunikationstechnologien untersucht. cation technology is also being investigated. Energy and Environment Geforscht wird an der Erschließung neuer Energiequellen, der Areas of research include the development of new energy Versorgung mit Energie sowie an deren Speicherung und effi- sources, as well as the supply of energy and its storage and zienten Nutzung. Das technische Know-How wird durch Exper- efficient use. Technical knowledge is built upon through ex- tise in den Bereichen Klima, Umwelt, Wirtschaft und Rohstoffe pertise in the fields of climate, the environment, the economy erweitert. and raw materials. Additional Fields of Research Zusätzlich zu den Schwerpunkten gibt es noch weitere, für die TU In addition to the above focal areas, TU Wien has still further Wien wichtige Forschungsfelder: important fields of research: • Development and Advancement of the Architectural Arts • Development and Advancement of the Architectural Arts • Urban and Regional Transformation • Urban and Regional Transformation • Fundamental Mathematics Research • Fundamental Mathematics Research • Mathematical Methods in Economics • Mathematical Methods in Economics 6 Die Forschungsmatrix The Research Matrix Die Forschungsschwerpunkte sind grundsätzlich von der TU Wien’s research focal areas have been removed from the Fakultätsstruktur losgelöst und mit TU Wien-Forschungsfeldern faculty structure and associated instead with its research fields. hinterlegt. Die zugeordneten Forschungsfelder stellen fakultäts- The designated research fields represent multi-disciplinary übergreifende Kompetenzgebiete dar. areas of competence. Computational Quantum Physics Information and Materials and Energy and Additional Fields Science and and Quantum Communication Matter Environment of Research Engineering Technologies Technology Energy Active Development and Computational Surfaces Photonics Logic and Computation Buildings, Settlements Advancement of the Materials Science and Interfaces and Spatial Infrastructures Architectural Arts Quantum Metrology Computer Engineering Computational Materials Sustainable and Low Urban and Regional and Precision and Software-intensive Fluid Dynamics Characterization Emission Mobility Transformation Measurements Systems Climate Neutral, Rene- Computational Quantum Modeling Automation Fundamental Metallic Materials wable and Conventional System Design and Simulation and Robotics Mathematics Research Energy Supply Systems Mathematical and Non-metallic Information Systems Environmental Monitoring Mathematical Nanoelectronics Algorithmic Foundations Materials Engineering and Climate Adaption Methods in Economics Visual Computing Computer Design and Engineering Efficient Utilisation Composite Materials and Human-Centered Science Foundations of Quantum Systems of Material Resources Technology Sustainable Modeling Quantum Many-Body Biological and Digital Transformation Production and and Simulation Systems Physics Bioactive Materials in Manufacturing Technologies Special and Telecommunication Engineering Materials Structure- Sensor Systems Property-Relationship 7 Lehre Teaching Studieren an der TU Wien heißt, breites Grundlagenwissen Studying at TU Wien means gaining a broad range of basic vermittelt bekommen und gleichzeitig die Möglichkeit zu knowledge whilst simultaneously being given the opportunity haben, sich nach Fach und Interesse zu spezialisieren. to specialise according to subject and interest. TU Wien places Besonders großen Wert legt die TU Wien auf die Einbeziehung particular emphasis and value on the involvement of students von Studierenden in laufende Forschungsprogramme. in current research programmes. Die TU Wien bietet mit ihren 18 Bachelor-, 33 Master- und The university offers a broad
Recommended publications
  • Dines Bjørner Research, Bibliography, Biography and Publication List

    Dines Bjørner Research, Bibliography, Biography and Publication List

    CV: Dines Bjørner Research, Bibliography, Biography and Publication List Professor of Computing Science (Emeritus). Fredsvej 11, DK-2840 Holte, Denmark Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow May 16, 2010 Dines Bjørner, Sept. 2007 For more photos see Sect. 5 Contents 2.3 Book Covers ............... 5 1 My Research 2 3 Biography 7 2 Publication Notes 3 4 References 9 2.1 Year-by-Year Listing ........... 3 2.2 Statistics ................. 4 5 Photos 24 1 My Research My research, since my IBM Vienna days, has focused on computing science,1 in particular program- ming methodology: on how to construct software. I was never much for the more foundational 1By computing science I understand the study of and knowledge about how to construct the “things” that can exist “inside” computers: data and processes. 1 side of computing, or as I call it, computer science.2 3 I am in particular “smitten” by the question what is a method ?. I see a method as a set of principles to be used in the analysis of problems and in the synthesis of solutions to these problems. I see the analysis and synthesis to be based on techniques and tools. The principles are then about the selection and practical use of the analysis and synthesis techniques and tools — research must uncover these principles, techniques and tools. Software engineering textbooks must cover them.4 I see a good software development method to be one that provides for efficient development approaches resulting in efficient software that meets customers expectations (and only and exactly those) and software that is correct (that is satisfies its requirements).
  • The Search for Christian Doppler

    The Search for Christian Doppler

    meeting summary Report from the International Workshop on Remote Sensing in Geophysics Using Doppler Techniques* Arnaldo Brandolini,a+ Ben B. Balsley,b# Antonio Mabres,c# Ronald F. Woodman,d# Carlo Capsoni,3 Michele D'Amico,3 Warner L. Ecklund,e Tor Hagfors/ Robert Harper^ Malcolm L. Heron,h Wayne K. Hocking; Markku S. Lehtinen; Jurgen Rottger,k Martin F. Sarango,d Torn Sato,1 Richard J. Stauch,m J. M. Vaughn," Lucy R. Wyatt,0 and Dusan S. Zrnic? 1. Introduction (A. Brandolini, B. Balsley, in different application areas of Doppler remote sens- A. Mabres, R. Woodman) ing. Actually, Doppler remote sensing is employed in a wide range of applications, from atmospheric bound- The International Workshop on Remote Sensing in ary layer sensing to wind profiling, from sea surface Geophysics Using Doppler Techniques was held on 11- sensing to radar astronomy. Such different applications 15 March 1996 in Bellagio, Italy, at the Rockefeller face different challenges, which sometimes lead to Study and Conference Center. Supported by the development of very different techniques. Rockefeller Foundation, the workshop brought to- In the organizers' opinion, a discussion of such gether a small number of expert researchers working techniques between researchers working in different application areas could be both interesting and useful. *Organized by the Department of Electrical Engineering of In particular, ideas of signal-processing techniques Politecnico di Milano. could be profitably exchanged. The purpose of the +Workshop organizing committee. workshop was in fact to provide a forum where such aPolitecnico di Milano, Milan, Italy. a discussion could take place. bUniversity of Colorado at Boulder, Boulder, Colorado.
  • Download PDF of Article

    Download PDF of Article

    teaching and education Synchrotron radiation and X-ray free-electron lasers (X-FELs) explained to all users, active and potential ISSN 1600-5775 Yeukuang Hwua,b,c* and Giorgio Margaritondod* aInstitute of Physics, Academia Sinica, Taipei 11529, Taiwan, bDepartment of Engineering Science, National Cheng Kung University, Tainan 70101, Taiwan, cBrain Research Center, National Tsing Hua University, Hsinchu 30013, Taiwan, and dFaculte´ des Sciences de Base, Ecole Polytechnique Fe´de´rale de Lausanne, 1015 Lausanne, Switzerland. Received 8 September 2020 *Correspondence e-mail: [email protected], [email protected] Accepted 29 March 2021 Synchrotron radiation evolved over one-half century into a gigantic worldwide Edited by M. Yamamoto, RIKEN SPring-8 enterprise involving tens of thousands of researchers. Initially, almost all users Center, Japan were physicists. But now they belong to a variety of disciplines: chemistry, materials science, the life sciences, medical research, ecology, cultural heritage Keywords: synchrotron; X-FEL; relativity; and others. This poses a challenge: explaining synchrotron sources without ponderomotive. requiring a sophisticated background in theoretical physics. Here this challenge is met with an innovative approach that only involves elementary notions, commonly possessed by scientists of all domains. 1. Background Synchrotron radiation sources and free-electron lasers (Margaritondo, 1988, 2002; Winick, 1995; Willmott, 2011; Mobilio et al., 2015; Bordovitsyn, 1999) are, arguably, the most important practical applications of Albert Einstein’s special relativity (Rafelski, 2017). Indeed, they exploit relativistic properties to produce electromagnetic radiation in spectral ranges where other emitters are unsatisfactory, most notably X-rays. Explaining such sources to non-physicists is not easy. We propose here an approach that only requires a few basic scientific notions.
  • Multinuclear MRS at 7T Uncovers Exercise Driven Differences in Skeletal Muscle Energy Metabolism Between Young and Seniors

    Multinuclear MRS at 7T Uncovers Exercise Driven Differences in Skeletal Muscle Energy Metabolism Between Young and Seniors

    fphys-11-00644 June 29, 2020 Time: 12:36 # 1 ORIGINAL RESEARCH published: 29 June 2020 doi: 10.3389/fphys.2020.00644 Multinuclear MRS at 7T Uncovers Exercise Driven Differences in Skeletal Muscle Energy Metabolism Between Young and Seniors Patrik Krumpolec1,2†, Radka Klepochová1†, Ivica Just1, Marjeta Tušek Jelenc1, Ivan Frollo3, Jozef Ukropec2, Barbara Ukropcová2,4, Siegfried Trattnig1,5, 1,5,6 1,3,7 Edited by: Martin Krššák * and Ladislav Valkovicˇ Bruce M. Damon, 1 High Field MR Center, Department of Biomedical Imaging and Image-guided Therapy, Medical University of Vienna, Vienna, Vanderbilt University Medical Center, Austria, 2 Biomedical Research Center, Institute of Experimental Endocrinology, Slovak Academy of Sciences, Bratislava, United States Slovakia, 3 Department of Imaging Methods, Institute of Measurements Science, Slovak Academy of Sciences, Bratislava, Reviewed by: Slovakia, 4 Faculty of Medicine, Institute of Pathophysiology, Comenius University in Bratislava, Bratislava, Slovakia, David Bendahan, 5 Christian Doppler Laboratory for Clinical Molecular MR Imaging, Vienna, Austria, 6 Division of Endocrinology UMR 7339 Centre de Résonance and Metabolism, Department of Internal Medicine III, Medical University of Vienna, Vienna, Austria, 7 Oxford Centre Magnétique Biologique et Médicale for Clinical Magnetic Resonance Research, RDM Cardiovascular Medicine, University of Oxford, Oxford, United Kingdom (CRMBM), France Melissa Hooijmans, 1 VU University Medical Center, Purpose: Aging is associated with changes in muscle energy metabolism. Proton ( H) Netherlands and phosphorous (31P) magnetic resonance spectroscopy (MRS) has been successfully *Correspondence: applied for non-invasive investigation of skeletal muscle metabolism. The aim of this Martin Krššák [email protected] study was to detect differences in adenosine triphosphate (ATP) production in the aging 31 †These authors have contributed muscle by P-MRS and to identify potential changes associated with buffer capacity of equally to this work muscle carnosine by 1H-MRS.
  • Short Biography

    Short Biography

    Lecture Automation Mailüfterl Homeostat Calendar Science M Logic Algebra Informatics Wien Austria Academy of Sciences Computer Art B I Cybernetics January 1 1920 InformationOCG Theorie Digitalization IFA IP Logic Vienna Definition Language Radarforschung ALGOL ComputerM usic Formale Definition l K History IBM Labor Vienna Pulse-code modulation horezmi Vocoder Robotics Telecommunications URR IBM Fellow Semiotics Transmission Abstracte Architekture Language Theory Turtle HEINZ ZEMANEK Computer Language Vienna University of Technology Human Computer Interaction An Austrian Computer Pioneer Heinz Zemanek - Biographical data Heinz Zemanek was born in Vienna on 1 January 1920. Education and military service (1925 - 1947) 1925 - 1929 primary school Vienna 1929 - 1937 secondary school Vienna (graduation with honours in 1937) 1937 - 1944 studies of radio mechanics at the Technical University of Vienna (TU) 1940 - 1945 Military service in a communication unit of the Wehrmacht Employment: Teleprinter practice in Vienna Switchboard operator in Kronstadt and Sofia Work at the manual transmission centres in Thessaloniki, Athens und Belgrade Teacher at the Wehrmacht intelligence service school Thessaloniki High frequency research at the Ernst Lechner Institut in Reichenau/Semmering Technical academy of the Luftwaffe, institute for communication engineering in Berlin-Gatow Work at the Zentralversuchsstelle der Hochfrequenzforschung in Ulm-Dornstadt (high frequency research) University thesis: 1944, Über die Erzeugung von kurzen Impulsen aus einer Sinusschwingung
  • Druckversion Der Ausgabe Nr. 32 (Oktober 2014)

    Druckversion Der Ausgabe Nr. 32 (Oktober 2014)

    Druckversion der Ausgabe Nr. 32 (Oktober 2014) TU|frei.haus – Druckversion der Ausgabe Nr. 32 (Oktober 2014) Inhaltsverzeichnis Inhaltsverzeichnis ........................................................................... 2 Editorial ........................................................................................ 4 Campus ........................................................................................ 5 TU Univercity 2015: Allerlei Neues vom Getreidemarkt bis zur Gusshausstraße ............................... 5 Quality Audit an der TU Wien: Die Schweizer Qualitätssicherungsagentur OAQ im Kurzporträt ..... 11 MitarbeiterInnenbefragung 2014: Wir – für uns alle! ......................................................................... 12 Paul Ludwik – ein Name für den Hörsaal 11 ..................................................................................... 13 AutorInnenverträge: Sichern Sie sich Ihre Rechte! ........................................................................... 14 OPEN ACCESS – Die neue Ära des Publizierens ............................................................................ 15 Einführungen in die Benutzung der Hauptbibliothek ......................................................................... 16 Smart Energy – Hinter den Kulissen des größten Plus-Energie-Bürohochhauses Österreichs ....... 17 8th European Conference on Gender Equality in Higher Education: Erfolge & offene Kernfragen .. 18 "Der Ö1 Hörsaal": Open Innovation an österreichischen Universitäten ...........................................
  • Technische Universität Wien

    Technische Universität Wien

    INCREaSE Kick-Off Wroclaw, 27 March 2019 TU Wien Johannes Böhm TU Wien Department of Geodesy and Geoinformation Research Division Higher Geodesy TU Wien 1815 Founded as „k. k. Polytechnisches Institut" 1919 Admission for women 1975 Renamed to „Technische Universität" (TU) 2015 200-year-anniversary TU Wien Picture TU-Mainbuilding: © TU Wien | Thomas Blazina Department of Geodesy and Geoinformation Research Division Higher Geodesy TU Wien Alumni • Christian Doppler (Doppler effect) • Joseph Loschmidt (Loschmidt constant) • Otto Wagner (architect) • Richard Zsigmondy (Nobel Prizewinner for Chemistry ) • Viktor Kaplan (Kaplan turbine) • Josef and Johann Strauß • ... TU Wien Department of Geodesy and Geoinformation Research Division Higher Geodesy Research at TU Wien – From Basic Research to Applications TU Wien Department of Geodesy and Geoinformation Research Division Higher Geodesy Five Research Focus Points • Computational Science and Engineering • Quantum Physics and Quantum Technologies • Materials and Matter • Information and Communication Technologies • Energy and Environment • Additional Fields of Research TU Wien Department of Geodesy and Geoinformation Research Division Higher Geodesy Cooperation Overview 1/2 • On campus • Cooperation & research centres connecting faculties • TU doctoral programmes • With Austrian universities • TU Austria (Graz University of Techn., University of Leoben) • Vienna Scientific Cluster [1] [2] Pictures: © [1] Lois Lammerhuber, [2] www.solardecathlon.at TU Wien Department of Geodesy and Geoinformation
  • Bfm:978-3-7091-6677-2/1.Pdf

    Bfm:978-3-7091-6677-2/1.Pdf

    Alec Eden The Search for Christian Doppler Springer-Verlag Wien GmbH Prof. Alec Eden The Christian Doppler Foundation Schwarzstrasse 44, A-5020 Salzburg, Austria This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photo• copying machine or similar means, and storage in data banks. © 1992 by Springer-Verlag Wien Originally published by Springer-Verlag Wien New York in 1992 Printed on acid-free paper With 27 partly colored Figures Frontispiece: Salzburg at the time of Christian Doppler (ca. 1840) From a coloured lithograph by Leopold Rottmann after Georg Pezolt. The house in which Doppler was born is on the far bank of the River Salzach and is indicated by the tip of the small square tower of the City Hall on the near side, slightly to the right of the centre of the picture. Cover design: T. Erben, Wien Library of Congress Cataloging-in-Publication Data. Eden, Alec, 1935— . The Search for Christian Doppler / Alec Eden. p. cm. Includes index. ISBN 978-3-7091-7378-7 ISBN 978-3-7091-6677-2 (eBook) DOI 10.1007/978-3-7091-6677-2 1. Doppler, Christian, 1803 — 1853. 2. Physicists — Austria — Biography. I. Title. QC16.D7E34 1992. 530'.092—dc20. [B]. 92-16814 ISBN 978-3-7091-7378-7 This book is dedicated to my daughter, Guinevere, and other young scientists ofher generation at the threshold ofan exciting career Foreword It is now 150 years ago, on 25th May 1842, that the son of a Salzburg ston­ emason presented a scientific work "On the coloured light of the double stars and certain other heavenly bodies" at a meeting of the Royal Bo­ hemian Society of Sciences held in Prague.
  • A Lightweight Formal Method for the Prediction of Non-Functional System Properties

    A Lightweight Formal Method for the Prediction of Non-Functional System Properties

    A Lightweight Formal Method for the Prediction of Non-Functional System Properties Der Technischen Fakultät der Universität Erlangen-Nürnberg zur Erlangung des Grades Doktor-Ingenieur vorgelegt von Jörg Barner Erlangen — 2005 Als Dissertation genehmigt von der Technischen Fakultät der Universität Erlangen-Nürnberg Tag der Einreichung: 20.06.2005 Tag der Promotion: 14.10.2005 Dekan: Prof. Dr.-Ing. Alfred Leipertz Berichterstatter: Prof. Dr. Fridolin Hofmann, Prof. Dr. Khalid Al-Begain Acknowledgments First of all, I would like to thank Prof. Dr. Fridolin Hofmann for supervising this dissertation and for the open environment he created together with Prof. Dr.-Ing. Wolfgang Schröder- Preikschat in our department which allowed me to finish this project. Furthermore, I am particularly grateful to Prof. Dr. Khalid Al-Begain, my co-promoter, whose interest in appli- cations and the encouraging feedback he gave were always a great pleasure. I owe a lot of thanks to Dr.-Ing. Gunter Bolch, my “Ana” research group leader for many inspiring discussions which helped me a lot to sharpen my thoughts on important issues and prevented me from losing my direction. Without the commitment that Björn Beutel and Patrick Wüchner exhibited during the preparation of their master theses some of the concepts presented in this dissertation would have remained purely theoretical. My former office mate Dr.-Ing. Michael Schröder proof-read various intermediate ver- sions of this dissertation. Together with him, Stephan Kösters supported me in the nerve- wracking final phase before submitting the thesis by doing some valuable last-minute proof- reading. It has been a lot of fun to work at the department for distributed systems and operat- ing systems with all the colleagues and students.
  • Scientific Decisions Which Characterize

    Scientific Decisions Which Characterize

    Scientific Decisions which Characterize VDM Cliff B. Jones Department of Computer Science Manchester University M13 9PL, UK [email protected] Dedicated to the memory of Heinz-Peter Chladek Abstract. The formal description and development method known as VDM has been used extensively, its specification language is now an ISO standard, and it has influenced other specification languages. The origins of VDM are normally placed in language description or semantics but it is probably best known in the wider arena of formal methods for (general) program specification and design. This paper sets out a personal view of some of the key technical decisions which characterize the Vienna Development Method. VDM is generally believed to stand for Vienna Development Method.The programming language description aspects of VDM were forged in the heat of a compiler development project in the IBM Laboratory in Vienna between 1973 and 1976; the technical decisions which characterize this work are outlined in Section 2. VDM is also a general formal method in that it can be applied to pro- grams or systems other than compilers; scientific decisions relating to this more general area are discussed in Section 3. Preceding these substantive sections, the scene is set in Section 1. Some conclusions are offered in Section 4. 1 Background It must be a relatively small proportion of scientific developments whose progress is defined by large discontinuities. In my opinion, progress in research on ‘formal methods’ has built steadily since the 1960s and the identification of new ideas has nearly always benefited from earlier work and has rarely forced a complete revolution in thinking.

  • ESI NEWS Volume 4, Issue 2, Autumn 2009

    The Erwin Schrödinger International Boltzmanngasse 9/2 Institute for Mathematical Physics A-1090 Vienna, Austria ESI NEWS Volume 4, Issue 2, Autumn 2009 Editorial Courses on L2-Methods in Complex Anal- Contents ysis (J. McNeal) and Supergravity Theories Klaus Schmidt (P. West), and by the ESI Junior Research Editorial1 Fellows’ Programme, to which the contri- bution by M.A. Jivulescu in this issue is de- The critical temperature of dilute The scientific activi- voted. Bose gases2 ties of the ESI dur- Although the scientific performance of A philatelic introduction to the ing the second half of the ESI in 2009 was very successful by any Doppler effect and some of its 2009 spanned as usual standard, the funding situation of the Insti- applications4 a wide range of top- tute remains uncertain in view of a com- ics, with thematic pro- plete absence of longer term financial com- Impressions of a Junior Research grammes devoted to mitment by the Austrian Federal Ministry Fellow 12 Entanglement and Correlations in Many- for Science and Research. The Junior Re- body Quantum Mechanics (organized by B. search Fellows Programme remains under ESI News 13 Nachtergaele, F. Verstraete and R. Werner), threat in spite of its reprieve for 2010, and Current and Future Activities of Classical and Quantum Aspects of Cos- the Institute has not yet received any re- the ESI 16 mology (P.C. Aichelburg, H. Rumpf), Re- sponse whatsoever to the recommendations cent Advances in Integrable Systems of Hy- in the Institute’s Evaluation Report of June Erwin Schrödinger Lectures 18 drodynamic Type (A.
  • Oh127hz.Pdf (183.6Kb Application/Pdf)

    Oh127hz.Pdf (183.6Kb Application/Pdf)

    An Interview with HEINZ ZEMANEK OH 127 Conducted by William Aspray on 14 and 16 February 1987 Vienna, Austria Charles Babbage Institute The Center for the History of Information Processing University of Minnesota, Minneapolis Copyright, Charles Babbage Institute 1 Heinz Zemanek Interview 14 and 16 February 1987 Abstract Zemanek, an Austrian computer scientist, begins by describing his early life in Vienna, Austria and experiences in Nazi-occupied Austria. He discusses his engineering education and work in radar technology during World War II. Zemanek then focuses on the development of computers in Austria. Topics include: magnetic drums and magnetic memory, the MAILUFTERL computer (which Zemanek designed and built), the LOGALGOL and other compilers, the University of Vienna where Zemanek worked on his computer, the subsequent sponsorship of the project by International Business Machines Europe, and ALGOL and PL/I language standards development. The interview concludes with Zemanek offering a brief overview of the computer industry in Europe from the end of World War II to the 1980s. 2 HEINZ ZEMANEK INTERVIEW DATE: 14 February 1987 INTERVIEWER: William Aspray LOCATION: Vienna, Austria ASPRAY: This is an interview with Dr. Heinz Zemanek in his home in Vienna on the 14th of February 1987. The topic is primarily the career and life of Dr. Zemanek. Let's begin by having you tell us briefly something about your early childhood, what your parents were like, how you were trained early in your life, and so on. ZEMANEK: This should probably be answered by saying that I am a true Austrian. I was born in Vienna.1 My ancestors came from Austria in the old sense, namely 3/4 of them from the part which is today Czechoslovakia and 1/4 from a little east of Vienna.