Corrado Böhm

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Cet article ne cite pas suffisamment ses sources (juillet 2013).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références » (modifier l'article, comment ajouter mes sources ?).

Corrado Böhm
Defaut 2.svg
Informations générales
Naissance
Voir et modifier les données sur Wikidata (93 ans)
MilanVoir et modifier les données sur Wikidata
Nationalité
Activités
Directeur de thèse

Corrado Böhm (né en 1923 à Milan) est ingénieur électronicien et informaticien suisse.

Biographie[modifier | modifier le code]

Corrado Böhm reçoit son diplôme de l'École polytechnique fédérale de Lausanne en 1946. Il obtient un doctorat de mathématiques de l'École polytechnique fédérale de Zurich (UTH), docteur honoris causa de l'Université de Milan. Son premier emploi était à l'Université de Rome La Sapienza.

Travaux[modifier | modifier le code]

En 1965, il propose la machine abstraite CUCH comme modèle d'implantation des langages de programmation.

Il a pour domaine de recherche l'informatique théorique, les mathématiques constructives, la logique combinatoire, le lambda-calcul, la sémantique et l'implantation des langages de programmation fonctionnels.

Distinctions[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Liens externes[modifier | modifier le code]

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

  1. Page du prix EATCS