Pascal Koiran
informaticien français
From Wikipedia, the free encyclopedia
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].
.svg){kind=small}
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activité |
| 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].
