Doctorat
Equipe : Algorithmique et Complexité
Auto-test pour les calculs approché et quantique
Début le 01/12/1995
Direction : SANTHA, Miklos
Ecole doctorale : ED d’Informatique de l’Université Paris-Sud
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI - algo
Soutenue le 27/01/2000 devant le jury composé de :
Harry BUHRMAN (rapporteur)
Robert CORI
Marie-Claude GAUDEL
Pascal KOIRAN (rapporteur)
Miklos SANTHA
Jacques STERN
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/these.pdf