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 ?) selon les recommandations des projets correspondants.
|
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'École polytechnique fédérale de Zurich (UTH), 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'implantation 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.
