Corrado Böhm

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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]

Lien externe[modifier | modifier le code]

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

  1. Page du prix EATCS