Habilitation à diriger des recherches
Equipe : Algorithmique et Complexité
Vérification approchée - Calcul quantique
Début le 01/01/1970
Direction :
Ecole doctorale :
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement :
Soutenue le 07/05/2007 devant le jury composé de :
Rapporteurs :
KANNAN Sampath
KARPINSKI Marek
VAZIRANI Umesh
Jury :
ASPECT Alain
COMON Hubert
HABIB Michel
KARPINSKI Marek
SANTHA Miklos
STERN Jacques
Activités de recherche :
- Vérification
- Algorithmes probabilistes
- Calcul quantique
- Algorithmes approchés
Résumé :
Pour en savoir plus: http://www.lri.fr/~magniez/PAPIERS/hdr.pdf
