Friedrich L. Bauer

pionnier allemand de l'informatique
Friedrich Ludwig Bauer
Friedrich L. Bauer, 2004
Biographie
Naissance
Décès
(à 90 ans)
Kottgeisering
Nom dans la langue maternelle
Friedrich Ludwig BauerVoir et modifier les données sur Wikidata
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Membre de
Conflit
Directeurs de thèse
Fritz Bopp (), Georg Aumann (en) ()Voir et modifier les données sur Wikidata
Distinction
Archives conservées par
Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 918)[1]Voir et modifier les données sur Wikidata

Friedrich Ludwig Bauer, né le à Ratisbonne, et mort le [2], est l'un des pionniers allemands de l'informatique. Avec Klaus Samelson, il est l'inventeur, en 1957, du principe de la pile comme structure de données. En 1967, il est le premier à professer un cours d’informatique à l'université technique de Munich[3]. Il intervient activement dans l'établissement de cursus d'informatique en Allemagne, et organise des Écoles d'été réputées. En 1988, il organise la première exposition d'ordinateurs dans le Deutsches Museum. Ses nombreux livres font historiquement partie des ouvrages standard de l'informatique.

Formation et enseignement modifier

Friedrich Bauer, fils d'un expert-comptable, obtient son Abitur en 1942 à Munich. De 1943 à 1945 il est soldat de la Wehrmacht. De 1946 à 1950, il étudie les mathématiques, la physique, la logique et l’astronomie à l'université Louis-et-Maximilien de Munich (LMU).

Il travaille ensuite pendant une demi-année comme assesseur dans un lycée munichois, puis comme assistant de Fritz Bopp à la LMU, où il obtient un doctorat en 1952. Deux années plus tard, en 1954, il soutient une habilitation, auprès de Robert Sauer (de).

De 1958 à 1962 Bauer est professeur de mathématiques appliquées à l'université Johannes Gutenberg de Mayence. En 1963, il obtient un poste de professeur de mathématiques à l'université technique de Munich. C'est là qu'il crée, en 1967, le premier cursus d'informatique en Allemagne.

De 1984 à 1995 il est directeur de la Ferienakademie[4] commun à l'université Friedrich-Alexander d'Erlangen-Nuremberg et à l'université technique de Munich. De 1970 à 1995, il est directeur de l'International Summer School Marktoberdorf[5]. Depuis 1989 il est professeur émérite.

Activités scientifiques marquantes modifier

Bauer contribue par de nombreux travaux dans plusieurs domaines : algèbre, analyse numérique, méthodes de programmation, langages de programmation, logique mathématique et cryptologie.

Informatique modifier

Structure de pile modifier

Les premiers travaux de Bauer concernent la construction d'ordinateurs. Il construit, avec Klaus Samelson, une machine électrique appelée Stanislaus, commencée en 1950-51 et terminée en 1956, et qui vérifie qu'une expression de logique propositionnelle sans parenthésage est bien formée. Cette machine est encore visible au Deutsches Museum[6]. C'est dans ce contexte qu'il est le premier à utiliser la structure de pile pour l’évaluation des expressions arithmétiques. Il dépose, avec Klaus Samelson (de) un brevet sur ce principe en 1957. Cette invention est honorée par le Computer Pioneer Award que lui attribue l'Institute of Electrical and Electronics Engineers en 1988. Il entre aussi en contact à cette occasion avec Siemens, où il est consultant jusqu'en 1975.

L'article de 1960 Sequential Formula Translation, avec Klaus Samelson, est l'un des premiers sur la compilation des expressions, et a une influence considérable.

Langage Algol modifier

Bauer siège aussi dans les comités de développement du langage de programmation impératif ALGOL 58 et de son successeur ALGOL 60 ; ces langages sont les tout premiers langages de programmation impératifs.

Définition du terme Software Engineering modifier

En octobre 1968 a lieu une conférence à Garmisch-Partenkirchen, organisée par Bauer, intitulée Software Engineering. Auparavant, en 1967, le représentant allemand du Science Committee de l'OTAN avait contacté Bauer au sujet de ce que l'on appelait alors la Software Crisis, recouvrant l’ensemble des difficultés de développement et de vérification de programmes en absence de structuration. Bauer, avec d'autres, parmi lesquels le français Louis Bolliet[7], propose l'organisation de la conférence et le terme Software Engineering (« génie logiciel » en français) pour désigner à la fois le problème et sa solution[8]. Par la suite, Bauer donne la définition suivante du terme : Establishment and use of sound engineering principles to obtain economically software that is reliable and works on real machines efficiently[9].

Autres contributions modifier

Il s'intéresse à l'interprétation et à la traduction de langages de programmation. Il systématise le développement de programmes, en particulier la transformation de programmes (en). Il contribue au développement du système CIP-S et au langage associé, CIP-L.

Analyse numérique modifier

Ses contributions originales à l'analyse numérique comprennent notamment le théorème de Bauer-Fike (en) sur la perturbation des valeurs propres, et un algorithme de factorisation de polynômes.

Cryptographie modifier

Chercheur en cryptographie, il écrit (Decrypted Secrets) qui fait autorité, est traduit en anglais, et réédité plusieurs fois.

Influence modifier

 
Friedrich L. Bauer lors de la réunion des rédacteurs de l'Informatik Spektrum le 29 mai 1995. La communication vivante était l'une de ses caractéristiques.

Il s'engage pour que l’informatique soit reconnue comme une discipline universitaire entière. Il développe un tel cursus autonome à l'université technique de Munich en 1972, et contribue à la diffusion de ce domaine dans les universités allemandes.

En plus de l’organisation de séminaires et d'écoles internationales réputés, il contribue à la création de plusieurs expositions du Deutsches Museum à Munich : Informatique et automatique (1988), Microélectronique (1990) et le Cabinet mathématique (1999).

Il dirige les thèses de 39 élèves, parmi lesquels Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn et Christoph Zenger.

Friedrich Bauer est l'un des 19 membres fondateurs de la Société pour l'informatique[10]. Il est le rédacteur en chef du Informatik Spektrum depuis sa fondation en 1978, et occupe ce poste jusqu'à sa mort[11].

Honneurs et distinction modifier

Le prix Friedrich L. Bauer pour l'informatique qui est décerné depuis 1992 par l’TU München, est ainsi nommé en son honneur.

Doctorat honoris causa modifier

Écrits modifier

Article historique
  • Friedrich L. Bauer et Klaus Samelson, « Sequential Formula Translation », Communications de l'ACM, vol. 3, no 2,‎ , p. 76-83
Livre de vularisation
  • Friedrich L. Bauer, Andrei und das Untier : 6 Lektionen in Informatik, Munich, Bayerischer Schulbuch-Verlag, , 80 p. (ISBN 3-7627-3047-4)
Ouvrages scientifiques
  • Friedrich L. Bauer et Hans Wössner, Algorithmic Language and Program Development, Springer, (ISBN 3-540-11148-4)
  • (en) Friedrich L. Bauer (éditeur), Logic, Algebra, and Computation, Berlin/New York, Springer, , 485 p. (ISBN 3-540-54315-5)
  • The CIP Language Group (F. L. Bauer et al), The Munich Project CIP, Springer, coll. « Lecture Notes in Computer Science » (no 183, 292), 1985-1987, 275 p. (ISBN 978-0-387-15187-8, 0-387-18779-0 et 0-387-15187-7)
Cours d'informatique et de logique
  • Friedrich L. Bauer et Gerhard Goos, Informatik 1 : Eine einführende Übersicht, Springer, , 4e éd., 439 p. (ISBN 3-540-52790-7)
  • Friedrich L. Bauer et Gerhard Goos, Informatik 2 : Eine einführende Übersicht, Springer, , 4e éd., 352 p. (ISBN 3-540-55567-6)
  • Friedrich L. Bauer et Martin Wirsing, Elementare Aussagenlogik, Springer, , 228 p. (ISBN 978-3-540-52974-3)
Cryptologie
  • Friedrich L. Bauer, Kryptologie : Methoden und Maximen, Springer, , 357 p. (ISBN 3-540-57771-8)
  • Friedrich L. Bauer, Entzifferte Geheimnisse. Methoden und Maximen der Kryptologie, Springer, , 3e éd., 503 p. (ISBN 3-540-67931-6)
  • Friedrich L. Bauer, Decrypted Secrets. Methods and Maxims of Cryptology, Springer, , 4e éd., XII+524 (ISBN 978-3-540-24502-5)
Histoire de l'informatique

Liens externes modifier

Sur les autres projets Wikimedia :

Témoignages

Notes et références modifier

  1. « http://archivdatenbank-online.ethz.ch/hsa/#/content/b2c71d30929e4a88a5aa8c76e68188bd » (consulté le )
  2. [1]
  3. Avant 1967, les cours d'informatique étaient, à Munich et à d'autres universités allemandes, des cours sur le « traitement électronique de données », appelés « EDV-Kurse »
  4. site officiel de la Ferienakadémie. Il s'agit de cours intensifs en petits groupes (14 participants) dans les alpes bavaroises.
  5. Cette école existe toujours.
  6. Alumni TUM, F. L. Bauer 2004.
  7. Louis Bolliet : Biographie; Rencontre.
  8. Donald MacKenzie, Mechanizing Proof : Computing, Risk, and Trust, The MIT Press, , 427 p. (ISBN 978-0-262-63295-9, lire en ligne), p. 34
  9. « Établissement et utilisation de principes fondés d'ingénierie en vue d'obtenir de manière économique du logiciel qui est fiable et qui fonctionne de manière efficaces sur des machines réelle », dans sa contribution au congrès de l'IFIP : Friedrich L. Bauer, « Software Engineering », IFIP Congress (1),‎ , p. 530-538
  10. Fritz Krückeberg : The History of the GI, p. 14 ; 2e édition, novembre 2001, Gesellschaft für Informatik. [2], récupéré le 9 février 2021
  11. Informatik Spektrum Volume 38, Issue 2, April 2015 : Imprint page A4

Liens externes modifier