Corrado Böhm, né le à Milan et mort le à Rome, est un informaticien théoricien italien.

Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle.

Biographie Corrado Böhm fait ses études en Suisse à partir de 1942. Il obtient un diplôme d'ingénieur en électro-technique en 1946 à l'École polytechnique fédérale de Lausanne (qui s'appelait alors encore École polytechnique de l'Université de Lausanne (EPUL)) et devient ensuite chercheur à l'ETH Zürich, où il commence à s'orienter vers l’informatique à l'occasion de l’arrivée de la machine Zuse Z4 de Konrad Zuse qui est installée à l'ETH en 1950. Il obtient un doctorat en mathématiques en 1952 dans le Mathematics Genealogy Project.sous la direction d'Eduard Stiefel et de Paul Bernays (qui lui fait connaître les machines de Turing) avec une thèse intitulée Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme, publiée ensuite sous un titre légèrement différent.. Il y décrit un compilateur complet, qui plus est , c'est-à-dire qui utilise des mécanismes de traduction d'un langage de programmation écrits dans ce même langage..

En 1951, Böhm retourne en Italie. Il travaille d'abord chez Olivetti, puis à partir de 1953 à l' du à Rome (dirigé alors par Mauro Picone auquel il va succéder). Le premier ordinateur italien moderne (FINAC) y est installé en coopération avec l'entreprise Ferranti de Manchester. Böhm est responsable de son exploitation, puis devient responsable de la programmation d'applications en analyse.

Dans les années 1960, Böhm commence à enseigner dans les universités de Rome et de Pise, et s'oriente vers l'informatique théorique. Il démontre avec Giuseppe Jacopini, alors son étudiant, le , aussi appelé « théorème de Böhm-Jacopini ». qui est un des articles pionniers de la programmation structurée (ou « programmation sans Goto » d'après Edsger W. Dijkstra). Le théorème affirme que l'on peut formuler les algorithmes en utilisant comme structures de contrôle uniquement la mise en séquence d'instructions, les tests de branchement dirigés par l’évaluation d'une expression booléenne ou l'itération d'une partie de programme à l'intérieur d'une boucle.

Dans les années 1960 également, Böhm développe ses recherches sur le Lambda-calcul d'Alonzo Church et sur la programmation fonctionnelle. En 1968, il démontre un théorème important., selon lequel deux expressions du lambda-calcul qui ont des formes normales différentes pour la β-conversion et la η-conversion ne peuvent être identiques. Avec Wolf Gross, Böhm élabore un langage de programmation fonctionnelle basé sur le lambda-calcul et sur la logique combinatoire de Haskell Curry. Ils proposent la machine abstraite CUCH comme modèle d'implantation de ce langage.

Avec Alessandro Berarducci, Böhm établit un isomorphisme entre les types de données algébriques strictement positives et les lambda-termes polymorphes, connu depuis comme le codage de Böhm-BerarducciBeyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms sur le site okmij.org..

En 1968 il est nommé professeur titulaire à Modène, puis à l'université de Turin, où il crée le département d'informatique qui, au début, était composé d'un seul bureau et d'une utilisée aussi par les autres départements. À partir de 1974, Böhm est professeur à Rome, où il organise aussitôt une conférence internationale sur le lambda-calcul..

À partir de 1964, Böhm est membre, avec Dana Scott, Christopher Strachey et d'autres, du Working Group 2.2 de l'IFIP (Formal description of programming concepts). À partir de 1988 il est membre du IFIP Working Group Functional Programming.

Honneurs et prix En 1994, Corrado Böhm est docteur honoris causa de l’université de Milan En 2001, il est récipiendaire du prix EATCSPage du prix EATCS Il est membre de l'Academia Europaea

Publications (sélection)

.

.

.

.

.

.

.

Notes et références

Annexes Articles connexes Liste d'informaticiens et précurseurs de l'informatique , un langage de programmation minimal

Liens externes

Page personnelle de Corrado Böhm. Corrado Böhm sur l'université de Rome.

Catégorie:Naissance en janvier 1923 Catégorie:Naissance à Milan au XXe siècle Catégorie:Étudiant de l'École polytechnique fédérale de Lausanne Catégorie:Étudiant de l'École polytechnique fédérale de Zurich Catégorie:Professeur à l'université de Rome « La Sapienza » Catégorie:Personnalité en informatique théorique Catégorie:Lauréat du prix EATCS Catégorie:Informaticien italien Catégorie:Décès à 94 ans Catégorie:Décès en octobre 2017 Catégorie:Décès à Rome Catégorie:Docteur honoris causa de l'université de Milan