Pascal Koiran
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activité |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinction |
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].
Biographie[modifier | modifier le code]
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[modifier | modifier le code]
Travaux[modifier | modifier le code]
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[modifier | modifier le code]
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[modifier | modifier le code]
- (en)Le site personnel de Pascal Koiran
- Annuaire de thèses theses.fr
- (en)Liste des post-doctorants de l'université Rutgers Voir section 1993-1994
- (en)Site personnel de Pascal Koiran, page "publications" Voir les sections de publications
- (en)Liste des récipiendaires du prix du meilleur article
- Site de l'ENS Lyon qui liste les récompenses de ses chercheurs « Copie archivée » (version du sur Internet Archive) Voir section "22 Médailles de bronze"
- Arrêté ministériel portant entre autres à la nomination de Pascal Koiran en tant que membre sénior à l'Institut universitaire de France
- « Les membres - Institut universitaire de France », sur www.iufrance.fr (consulté le )
- Article en ligne du Point
Liens externes[modifier | modifier le code]
- Ressources relatives à la recherche :
