Giuseppe Longo
Un article de Wikipédia, l'encyclopédie libre.
Giuseppe Longo (né le 23 juillet 1947 à Rome, Italie) est un logicien et épistémologue italien. Il est chercheur à l'École normale supérieure à Paris.
En 1971, il a soutenu une thèse à l'Université de Pise portant sur la complexité du calcul des fonctions récursives. De 1971 à 1990, il a été enseignant-chercheur dans cette université, à différents échelons. Il est ensuite devenu directeur de recherche au CNRS, affecté au laboratoire d'informatique de l'ENS, où il enseigne en troisième cycle universitaire. Il a également travaillé à l'Université d'Utrecht, à l'Université d'Oxford, à l'Université de Berkeley, au MIT, à l'École polytechnique fédérale de Zürich, et à l'Université Carnegie Mellon.
Les recherches et l'enseignement de Giuseppe Longo portaient auparavant sur la logique mathématique, la théorie de la récursion, la sémantique dénotationnelle, le lambda-calcul, la théorie des types, la théorie des catégories et leurs applications aux langages fonctionnels. On peut donc le classer comme « informaticien théoricien ». Il est membre du comité éditorial de plusieurs revues scientifiques.
Plus récemment, sa recherche a plutôt porté sur les sciences cognitives et l'épistémologie des mathématiques.
