Friedrich L. Bauer

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Bauer.

Friedrich Ludwig Bauer

Description de cette image, également commentée ci-après

Friedrich L. Bauer, 2004

Naissance 10 juin 1924
Ratisbonne (Allemagne)
Décès 26 mars 2015 (à 90 ans)
Nationalité allemand
Champs Informatique
Institutions Université technique de Munich
Diplôme Université Louis-et-Maximilien de Munich
Directeur de thèse Fritz Bopp, Georg Aumann
Étudiants en thèse Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn, Christoph Zenger
Renommé pour pile, Sequential Formula Translation, ALGOL
Distinctions Ordre du Mérite de la République fédérale d'Allemagne 1re classe, Croix de fer, IEEE Computer Pioneer Award

Friedrich Ludwig Bauer, né le 10 juin 1924 à Ratisbonne, et mort le 26 mars 2015[1], 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[2]. 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 | modifier le code]

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 une poste 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[3] 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[4]. Depuis 1989 il est professeur émérite.

Activités scientifiques marquantes[modifier | modifier le code]

Bauer a contribué 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 | modifier le code]

Structure de pile[modifier | modifier le code]

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 machin est encore visible au Deutsches Museum[5]. C'est dans ce contexte qu'il est le premier à utilise 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 eu une influence considérable.

Langage Algol[modifier | modifier le code]

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 | modifier le code]

En octobre 1968 a eu 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[6], proposait 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[7]. 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[8].

Autres contributions[modifier | modifier le code]

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

Analyse numérique[modifier | modifier le code]

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 | modifier le code]

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

Influence[modifier | modifier le code]

Il s'est engagé pour que l’informatique soit reconnue comme une discipline universitaire entière. Il a développé un tel cursus autonome à l'université technique de Munich en 1972, et a contribué à 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 a contribué à la création de plusieurs expositions du Deutsches Museum à Munich : Informatique et automatique (1988), Microélectronique (1990) et le Cabinet mathématique (1999).

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

Honneurs et distinction[modifier | modifier le code]

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

Doctorat honoris causa[modifier | modifier le code]

Écrits[modifier | modifier le code]

Article historique
  • Friedrich L. Bauer et Klaus Samelson, « Sequential Formula Translation », Communications de l'ACM, vol. 3, no 2,‎ 1960, p. 76-83
Livre de vularisation
  • Friedrich L. Bauer, Andrei und das Untier : 6 Lektionen in Informatik, Munich, Bayerischer Schulbuch-Verlag,‎ 1972 (ISBN 3-7627-3047-4)
Ouvrages scientifiques
  • Friedrich L. Bauer et Hans Wössner, Algorithmic Language and Program Development, Springer,‎ 1982 (ISBN 3-540-11148-4)
  • Friedrich L. Bauer (éditeur), Logic, Algebra, and Computation, Springer,‎ 1991 (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 (ISBN 0-387-15187-7 et 0-387-18779-0)
Cours d'informatique
  • Friedrich L. Bauer et Gerhard Goos, Informatik 1, Springer,‎ 1991, 4e éd. (ISBN 3-540-52790-7)
  • Friedrich L. Bauer et Gerhard Goos, Informatik 2, Springer,‎ 1992, 4e éd. (ISBN 3-540-55567-6)
Cryptologie
  • Friedrich L. Bauer, Kryptologie, Springer,‎ 1994 (ISBN 3-540-57771-8)
  • Friedrich L. Bauer, Entzifferte Geheimnisse. Methoden und Maximen der Kryptologie, Springer,‎ 2000, 3e éd. (ISBN 3-540-67931-6)
  • Friedrich L. Bauer, Decrypted Secrets. Methods and Maxims of Cryptology, Springer,‎ 2007, 4e éd., XII+524 p. (ISBN 978-3-540-24502-5)
Histoire de l'informatique
  • Friedrich L. Bauer, Historische Notizen zur Informatik, Springer,‎ 2009 (ISBN 3-540-85789-3)

Liens externes[modifier | modifier le code]

Sur les autres projets Wikimedia :

Témoignages

Notes et références[modifier | modifier le code]

  1. [1]
  2. 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 »
  3. site officiel de la Ferienakadémie. Il s'agit de cours intensifs en petits groupes (14 participants) dans les alpes bavaroises.
  4. Cette école existe toujours.
  5. Alumni TUM, F. L. Bauer 2004.
  6. Louis Bolliet : Biographie; Rencontre.
  7. Donald MacKenzie, Mechanizing Proof: Computing, Risk, and Trust, The MIT Press,‎ 2004 (ISBN 978-0262632959), p. 34
  8. « É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),‎ 1971, p. 530-538