Algorithmes de reconstruction  Arithmétique en virgule flottante  Attracteur  Automates quantiques  Automorphismes  Bornes inférieures  Calcul quantique  Circuit structurel  Circuits arithmétiques  Complexité algorithmique  Complexité algébrique  Complexité arithmétique  Complexité de calcul  Complexité en requête  Complexité en requêtes  Corps finis  Cryptographie  Décalage creux  Déterminant  Factorisation  Graphe de transitions général  Groupes algébriques  Géométrie algébrique réelle  Indépendance linéaire  Informatique quantique  Intelligence artificielle  Machine BSS  Mise en gage quantique  Mode de mise à jour  Mode parallèle  Modèle BSS  Modèle de Valiant  Méthode par adversaire  Méthode polynomiale  Méthode polynominale  Théorie de Valiant  

Pascal Koiran a rédigé la thèse suivante :

Puissance de calcul des réseaux de neurones artificiels

par Pascal Koiran sous la direction de Michel Cosnard - Lyon 1

Sciences. Informatique

Soutenue en 1993

Pascal Koiran dirige actuellement la thèse suivante :

Lower bounds and reconstruction algorithms for arithmetic circuits.

par Subhayan Saha sous la direction de Pascal Koiran - Lyon

Informatique

En préparation depuis le 01-10-2020

Pascal Koiran a dirigé les 8 thèses suivantes :

Bornes inférieures et algorithmes de reconstruction pour des sommes de puissances affines

par Timothée Pecatte sous la direction de Pascal Koiran - Lyon

Informatique

Soutenue le 11-07-2018

Bornes inférieures et supérieures dans les circuits arithmétiques

par Sébastien Tavenas sous la direction de Pascal Koiran - Lyon, École normale supérieure

Informatique

Soutenue le 09-07-2014

Représentations des polynômes, algorithmes et bornes inférieures

par Bruno Grenet sous la direction de Pascal Koiran - Lyon, École normale supérieure

Informatique

Soutenue le 29-11-2012

Complexity issues in counting, polynomial evaluation and zero finding

par Irénée Briquel sous la direction de Pascal Koiran et de Felipe Cucker . - Lyon, École normale supérieure

Informatique

Soutenue le 29-11-2011

Complexité en requêtes et symétries

par Vincent Nesme sous la direction de Pascal Koiran et de Natacha Portier . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2007

Problèmes de décision et d'évaluation en complexité algébrique

par Sylvain Perifel sous la direction de Pascal Koiran - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2007

Techniques algébriques en calcul quantique

par Emmanuel Jeandel sous la direction de Pascal Koiran et de Natacha Portier . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2005

Complexité et expressibilité sur les réels

par Hervé Fournier sous la direction de Pascal Koiran - Lyon, École normale supérieure (sciences)

Sciences et techniques communes. Chimie

Soutenue en 2001

Pascal Koiran a été rapporteur de la thèse suivante :

Two-player interaction in quantum computing : cryptographic primitives & query complexity

par Loïck Magnin sous la direction de Nicolas J. Cerf et de Frédéric Magniez . - Paris 11

Informatique

Soutenue le 05-12-2011

Pascal Koiran a été membre de jury de la thèse suivante :

Mises à jour de réseaux d'automates

par Mathilde Noual sous la direction de Eric Remila - Lyon, École normale supérieure

Informatique

Soutenue le 22-06-2012