| 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.
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. Il fait son post-doctorat à l’université Rutgers aux États-Unis.
Il est embauché au CNRS à Lyon en 1995 et devient professeur à l’ENS Lyon en 2000.
Les domaines de recherche principaux de Pascal Koiran sont :
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".
Il reçoit en 1999, la médaille de bronze du CNRS dans la section d’informatique. Depuis 2006, il est membre junior de l'Institut universitaire de France,.
Pascal Koiran est un des “100 Français qui feront l’an 2000” d’après Le Point.