Friedrich L. Bauer
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.
Naissance | |
---|---|
Décès | Modèle:Kottgeisering |
Nom dans la langue maternelle |
Friedrich Ludwig Bauer |
Nationalité | |
Domicile |
Modèle:Kottgeisering |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Conflit | |
Directeurs de thèse |
Fritz Bopp (), Georg Aumann (en) () |
Distinction |
Ordre du Mérite de la République fédérale d'Allemagne 1re classe, Croix de fer, IEEE Computer Pioneer Award |
Archives conservées par |
Formation et enseignement
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
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.
Structure de pile
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
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
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
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
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
Chercheur en cryptographie, il écrit (Decrypted Secrets) qui fait autorité, est traduit en anglais, et réédité plusieurs fois.
Influence
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 Gesellschaft für Informatik[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
- 1944 : Croix de fer IIe classe
- 1968 : membre de l'Académie bavaroise des sciences dans la classe des mathématiques et sciences naturelles
- 1971 : Ordre bavarois du MĂ©rite
- 1978 : MĂ©daille Wilhelm Exner (de) (Autriche)
- 1982 : Ordre du Mérite de la République fédérale d'Allemagne 1re classe
- 1984 : Membre de l'Académie Leopoldina
- 1986 : Ordre bavarois de Maximilien pour la science et l'art
- 1987 : Membre d'honneur de la Gesellschaft für Informatik, la Société allemande d'informatique
- 1988 : Anneau d'honneur en or du Deutsches Museum
- 1988 : Computer Pioneer Award de la société IEEE
- 1997 : Médaille Heinz-Maier-Leibnitz de l'université technique de Munich
- 1998 : Membre correspondant del'Académie autrichienne des sciences
- 2002 : Membre d'honneur du Deutsches Museum
- 2004 : Médaille du mérite en argent de l'Académie bavaroise des sciences
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
- 1974 : Docteur honoris causa de l'université de Grenoble
- 1989 : Docteur honoris causa de l'université de Passau
- 1998 : Docteur honoris causa de l'université de la Bundeswehr à Munich à Neubiberg
Écrits
- 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
- Friedrich L. Bauer, Historische Notizen zur Informatik, Springer, , 454 p. (ISBN 978-3-540-85789-1 et 3-540-85789-3, lire en ligne)
Liens externes
- TĂ©moignages
- (de) « Es gibt hier Dinge, die überraschend sind! », Alumni-Magazin der TUM, (consulté le )
- (de) Digitale Masterminds. Série d'émissions radio sur Deutschlandfunk; Friedrich L. Bauer le 3 décembre 2011.
- (de) Interview de Friedrich Ludwig Bauer, « Wie es dazu kam », (consulté le ) (La séquence du début de cette page est un extrait de cette interview.)
- (en) Friedrich L. Bauer, « My years with Rutishauser », LATSIS Symposium 2002, ETH Zürich,‎ (lire en ligne)
- (en) William Aspray, « Oral history interview with Friedrich L. Bauer », Charles Babbage Institute, University of Minnesota, (consulté le )
- (de) « Publications de et sur Friedrich L. Bauer », dans le catalogue en ligne de la Bibliothèque nationale allemande (DNB).
- (en) « Friedrich L. Bauer », sur le site du Mathematics Genealogy Project : Liste des descendants académiques de Friedrich L. Bauer.
- Friedrich Ludwig Bauer sur le site de la fondation de médailles Wilhelm Exner.
- (en) « Bauer, Friedrich-Ludwig », sur zbMATH
Notes et références
- « http://archivdatenbank-online.ethz.ch/hsa/#/content/b2c71d30929e4a88a5aa8c76e68188bd » (consulté le )
- 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 »
- site officiel de la Ferienakadémie. Il s'agit de cours intensifs en petits groupes (14 participants) dans les alpes bavaroises.
- Cette Ă©cole existe toujours.
- Alumni TUM, F. L. Bauer 2004.
- Louis Bolliet : Biographie; Rencontre.
- Donald MacKenzie, Mechanizing Proof : Computing, Risk, and Trust, The MIT Press, , 427 p. (ISBN 978-0-262-63295-9, lire en ligne), p. 34
- « É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
- Fritz Krückeberg : The History of the GI, p. 14 ; 2e édition, novembre 2001, Gesellschaft für Informatik. , récupéré le 9 février 2021
- Informatik Spektrum Volume 38, Issue 2, April 2015 : Imprint page A4
- (de)/(en) Cet article est partiellement ou en totalité issu des articles intitulés en allemand « Friedrich L. Bauer » (voir la liste des auteurs) et en anglais « Friedrich L. Bauer » (voir la liste des auteurs).
Liens externes
- Ressources relatives Ă la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :