Friedrich L. Bauer

Friedrich Ludwig Bauer Beskrivelse av dette bildet, også kommentert nedenfor Friedrich L. Bauer, 2004 Nøkkeldata
Fødsel 10. juni 1924
Regensburg ( Tyskland )
Død 26. mars 2015
Modell: Kottgeisering ( Tyskland )
Hjem Modell: Kottgeisering
Nasjonalitet tysk
Områder Informatikk
Institusjoner Teknisk universitet i München
Diplom Louis-and-Maximilian-universitetet i München
Veileder Fritz Bopp, Georg Aumann
PhD studenter Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn, Christoph Zenger
Kjent for haug , Sekvensiell formeloversettelse , ALGOL
Utmerkelser Order of Merit av Forbundsrepublikken Tyskland 1 st klasse, Iron Cross , IEEE Computer Pioneer Award

Friedrich Ludwig Bauer , født den10. juni 1924i Regensburg , og døde den26. mars 2015, er en av de tyske IT- pionerene . Med Klaus Samelson er han oppfinner, i 1957, av stabelen som datastruktur. I 1967 var han den første til å undervise i et datakurs ved Technical University of Munich . Han er aktivt involvert i etableringen av datavitenskapskurs i Tyskland, og organiserer anerkjente sommerskoler . I 1988 organiserte han den første utstillingen av datamaskiner i Deutsches Museum . Hans mange bøker er historisk en del av standard databehandling.

Opplæring og utdanning

Friedrich Bauer, sønn av en regnskapsfører, fikk sin Abitur i 1942 i München. Fra 1943 til 1945 var han en Wehrmacht- soldat . Fra 1946 til 1950 studerte han matematikk, fysikk, logikk og astronomi ved Louis-et-Maximilien-universitetet i München (LMU).

Deretter jobbet han et halvt år som assessor ved en videregående skole i München, deretter som assistent for Fritz Bopp ved LMU, hvor han doktorgrad i 1952. To år senere, i 1954, støttet han en habilitering, med Robert Sauer  ( fra) .

Fra 1958 til 1962 var Bauer professor i anvendt matematikk ved Johannes Gutenberg University i Mainz . I 1963 fikk han en stilling som professor i matematikk ved det tekniske universitetet i München. Det var der han i 1967 opprettet det første datavitenskapskurset i Tyskland.

Fra 1984 til 1995 var han direktør for den felles Ferienakademie ved Friedrich-Alexander Universitet i Erlangen-Nürnberg og ved det tekniske universitetet i München. Fra 1970 til 1995 var han direktør for den internasjonale sommerskolen Marktoberdorf . Siden 1989 har han vært professor emeritus .

Enestående vitenskapelige aktiviteter

Bauer har bidratt med mange arbeider innen flere felt: algebra , numerisk analyse , programmeringsmetoder , programmeringsspråk , matematisk logikk og kryptologi .

Informatikk

Stabelstruktur

Bauers tidlige arbeid gjelder bygging av datamaskiner. Han bygger, med Klaus Samelson, en elektrisk maskin kalt Stanislaus , startet i 1950-51 og fullført i 1956, og som bekrefter at et uttrykk for proposisjonslogikk uten parentes er godt formet. Denne maskinen kan fremdeles sees på Deutsches Museum . Det var i denne sammenhengen han var den første som brukte stakkstrukturen til evaluering av aritmetiske uttrykk. Han arkiverte patent på dette prinsippet med Klaus Samelson  (de) i 1957. Denne oppfinnelsen ble hedret med Computer Pioneer Award gitt av Institute of Electrical and Electronics Engineers i 1988. Han kom også i kontakt med Siemens ved denne anledningen. , hvor han var konsulent fram til 1975.

1960 artikkelen Sequential Formula Oversettelse , med Klaus Samelson, er en av de første på sammenstilling av uttrykk, og har hatt betydelig innflytelse.

Algol språk

Bauer sitter også i utviklingskomiteene i imperativ programmeringsspråket Algol 58 og dens etterfølger Algol 60  ; disse språkene er de aller første imperative programmeringsspråk.

Definisjon av begrepet Software Engineering

I oktober 1968 ble det avholdt en konferanse i Garmisch-Partenkirchen, organisert av Bauer, med tittelen Software Engineering . Tidligere, i 1967, hadde den tyske representanten for NATOs vitenskapskomité kontaktet Bauer om det som da ble kalt Software Crisis , og dekket alle vanskelighetene med å utvikle og verifisere programmer i fravær av strukturering. Bauer, sammen med andre, inkludert franske Louis Bolliet, foreslo å arrangere konferansen og begrepet Software Engineering ("  software engineering  " på fransk) for å beskrive både problemet og løsningen. Deretter gir Bauer følgende definisjon av begrepet: Etablering og bruk av lydtekniske prinsipper for å skaffe økonomisk programvare som er pålitelig og fungerer effektivt på ekte maskiner .

Andre bidrag

Han er interessert i tolkning og oversettelse av programmeringsspråk. Han systematiserte utviklingen av programmer, spesielt transformasjonsprogrammene  (in) . Han bidro til utviklingen av CIP-S-systemet og dets tilhørende språk, CIP-L.

Numerisk analyse

Hans opprinnelige bidrag til numerisk analyse inkluderer setningen til Bauer-Fike  (i) forstyrrelsen av egenverdier og en polynomial faktoriseringsalgoritme.

Kryptografi

En kryptoforsker, han skrev de autoritative dekrypterte hemmeligheter , er oversatt til engelsk og gitt ut flere ganger.

Påvirker

Han er forpliktet til å sikre at informatikk blir anerkjent som en hel universitetsdisiplin. Han utviklet et slikt frittstående kurs ved det tekniske universitetet i München i 1972, og bidro til formidlingen av dette feltet i tyske universiteter.

I tillegg til organiseringen av anerkjente internasjonale seminarer og skoler, har han bidratt til opprettelsen av flere utstillinger på Deutsches Museum i München: Computer Science and Automation (1988), Microelectronics (1990) og Mathematical Cabinet (1999).

Han veiledet avhandlingene til 39 studenter, inkludert Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn og Christoph Zenger.

Friedrich Bauer var en av de 19 grunnleggerne av Gesellschaft für Informatik . Han var sjefredaktør for Informatik Spektrum siden grunnleggelsen i 1978, og hadde den stillingen til han døde.


Heder og utmerkelse

Den Friedrich L. Bauer Prize for Computing, som har blitt delt ut siden 1992 av TU München , er oppkalt etter ham.

Doktorgrad honoris causa

Skrifter

Historisk artikkel
  • Friedrich L. Bauer og Klaus Samelson, “  Sequential Formula Translation,  ” ACM Communications , vol.  3, n o  to1960, s.  76-83
Vulariseringsbok
  • Friedrich L. Bauer, Andrei und das Untier: 6 Lektionen in Informatik , Munich, Bayerischer Schulbuch-Verlag,1972, 80  s. ( ISBN  3-7627-3047-4 )
Vitenskapelige bøker
  • Friedrich L. Bauer og Hans Wössner, Algorithmic Language and Program Development , Springer,1982( ISBN  3-540-11148-4 )
  • (en) Friedrich L. Bauer (redaktør), Logic, Algebra, and Computation , Berlin / New York, Springer,1991, 485  s. ( ISBN  3-540-54315-5 )
  • CIP Language Group (FL Bauer et al), München-prosjektet CIP , Springer, koll.  "Lecture Notes-i Computer Science" ( n o  183, 292), 1985-1987, 275  s. ( ISBN  978-0-387-15187-8 , 0-387-18779-0 og 0-387-15187-7 )
Informatikk- og logikkurs
  • Friedrich L. Bauer og Gerhard Goos, Informatik 1: Eine einführende Übersicht , Springer,1991, 4 th  ed. , 439  s. ( ISBN  3-540-52790-7 )
  • Friedrich L. Bauer og Gerhard Goos, Informatik 2: Eine einführende Übersicht , Springer,1992, 4 th  ed. , 352  s. ( ISBN  3-540-55567-6 )
  • Friedrich L. Bauer og Martin Wirsing , elementare Aussagenlogik , Springer,1991, 228  s. ( ISBN  978-3-540-52974-3 )
Kryptologi
  • Friedrich L. Bauer, Kryptologie: Methoden und Maximen , Springer,1994, 357  s. ( ISBN  3-540-57771-8 )
  • Friedrich L. Bauer, Entzifferte Geheimnisse. Methoden und Maximen der Kryptologie , Springer,2000, 3 e  ed. , 503  s. ( ISBN  3-540-67931-6 )
  • Friedrich L. Bauer, dekrypterte hemmeligheter. Metoder og maksimum for kryptologi , Springer,2007, 4 th  ed. , XII + 524  s. ( ISBN  978-3-540-24502-5 )
Datahistorie
  • Friedrich L. Bauer, Historische Notizen zur Informatik , Springer,2009, 454  s. ( ISBN  978-3-540-85789-1 og 3-540-85789-3 , les online )

Eksterne linker

Attester

Merknader og referanser

  1. [1]
  2. Før 1967 var informatikkurs i München og andre tyske universiteter kurs om "elektronisk databehandling", kalt "  EDV-Kurse  "
  3. offisiell nettside til Ferienakadémie . Dette er intensive kurs i små grupper (14 deltakere) i de bayerske Alpene.
  4. Denne skolen eksisterer fortsatt.
  5. TUM Alumni, FL Bauer 2004 .
  6. Louis Bolliet: Biografi ; Møte .
  7. Donald MacKenzie, Mechanizing Proof: Computing, Risk, and Trust , The MIT Press,2004, 427  s. ( ISBN  978-0-262-63295-9 , leses online ) , s.  34
  8. “Etablering og bruk av lydtekniske prinsipper for økonomisk å skaffe programvare som er pålitelig og effektivt kjører på virkelige maskiner”, i sitt bidrag til IFIP-kongressen: Friedrich L. Bauer, "  Software Engineering  ", IFIP Congress (1) ,1971, s.  530-538
  9. Fritz Krückeberg: GIs historie, s. 14; 2. utgave, november 2001, Gesellschaft für Informatik. [2] , hentet 9. februar 2021
  10. Informatik Spektrum Volum 38, utgave 2, april 2015: Avtrykk side A4