Corrado Böhm
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant une personnalité suisse.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Corrado Böhm (né en 1923 à Milan) est ingénieur électronicien et informaticien suisse de l'École Polytechnique Fédérale de Lausanne (diplômé en 1946).
Doctorat de mathématiques de l'ETH (Zürich, Suisse), docteur Honoris Causa de l'Université de Milan.
Premier emploi à l'Université de Rome La Sapienza.
En 1965, il propose la machine abstraite CUCH comme modèle d'implantion des langages de programmation.
Domaine de recherche : informatique théorique, mathématiques constructives, logique combinatoire, lambda-calcul, sémantique et implantation de langages de programmation fonctionnels.
