Accueil🇫🇷Chercher

Pascal Koiran

Pascal Koiran est un enseignant-chercheur en informatique théorique français, né le dans le 17e arrondissement de Paris. Il travaille dans le laboratoire de l’informatique du parallélisme (LIP) de l’École normale supérieure de Lyon[1].

Pascal Koiran
Pascal Koiran
Biographie
Naissance
Nationalité
Formation
Activité
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Distinction

Biographie

Pascal Koiran est né à Paris et déménage lorsqu’il a sept ans à Combs-la-Ville. Il entre dans la classe préparatoire scientifique au lycée Louis-le-Grand en tant qu’interne en 1986. Il entre ensuite à l’École normale supérieure de Lyon en 1988, où il fait sa thèse avec comme directeur Michel Cosnard[2]. Il fait son post-doctorat à l’université Rutgers aux États-Unis[3].

Il est embauché au CNRS à Lyon en 1995 et devient professeur à l’ENS Lyon en 2000.

Travaux, prix et distinctions

Travaux

Les domaines de recherche principaux de Pascal Koiran sont[4] :

  • Les bornes infĂ©rieures
  • Les automates quantiques
  • Les polynĂ´mes creux
  • La thĂ©orie des modèles
  • L’indĂ©cidabilitĂ© et les systèmes dynamiques
  • La complexitĂ© algĂ©brique
  • La thĂ©orie algorithmique de l'apprentissage

Prix et distinctions

Il est distingué en 1993 par le prix Matchtey pour son article "A Weak Version of the Blum, Shub & Smale model", ainsi que par le prix du meilleur article du Journal of Complexity en 1996 pour son article "Hilbert´s Nullstellensatz is in the Polynomial Hierarchy"[5].

Il reçoit en 1999, la médaille de bronze du CNRS dans la section d’informatique[6]. Depuis 2006, il est membre junior de l'Institut universitaire de France[7] - [8].

Pascal Koiran est un des “100 Français qui feront l’an 2000” d’après Le Point[9].

Références

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.