Propositions de stages (2011-2012)
- Triangulating the Klein bottle
- encadrant : Jean-Daniel Boissonnat
- durée : 2 à 3 mois
- lieu : laboratoire Geometrica, INRIA, Sophia Antipolis
- Algorithmes de resolution pour certains systèmes d'équations Diophantiens
- encadrant : Marius Bozga et Radu Iosif
- durée : 2 à 3 mois
- lieu : laboratoire Verimag, Grenoble
- Acceleration de boucles et interpolation de Craig pour la vérification de programmes numeriques
- encadrant : Marius Bozga et Radu Iosif
- durée : 2 à 3 mois
- lieu : laboratoire Verimag, Grenoble
- Combinaisons de théories
- encadrant : Pascal Fontaine et Stephan Merz
- durée : 2 à 3 mois
- lieu : laboratoire VeriDis, INRIA, Nancy
- Communication entre Easycrypt et les prouveurs automatiques
- encadrant : Benjamin Grégoire
- durée : 2 à 3 mois
- lieu : laboratoire Marelle, INRIA, Sophia Antipolis
- Implantation de techniques d'élagage dans les algorithmes d'énumération
- Comparaison des outils d'analyse pour les programmes numeriques
- encadrant : Radu Iosif
- durée : 2 à 3 mois
- lieu : laboratoire Verimag, Grenoble
- Cloud Computing décentralisé : algorithme de résilience
- encadrant : Yingjie XU
- durée : 2 à 3 mois
- lieu : laboratoire Nexedi, Lille, Rio, Dresden ou Tokyo
- Cloud Computing décentralisé : unbreakable overlay network
- encadrant : Yingjie XU
- durée : 2 à 3 mois
- lieu : laboratoire Nexedi, Lille, Rio ou Tokyo
- Stage UNG : crypto computer pour le traitement d'images de satellite
- encadrant : Sébastien Robin
- durée : 2 à 3 mois
- lieu : laboratoire Nexedi, Lille
- Élimination de quantificateurs
- encadrant : David Monniaux
- durée : 2 à 3 mois
- lieu : laboratoire Verimag, Grenoble
- Composition Automatique de Services Sécurisés
- encadrant : Michael Rusinowitch
- durée : 2 à 3 mois
- lieu : laboratoire INRIA, Nancy
- Aspects numériques de l'algorithme LLL
- Algorithme de Llyod dans l'espace périodique 3D
- encadrant : Monique Teillaud
- durée : 2 à 3 mois
- lieu : laboratoire INRIA, Sophia Antipolis
- Nearest Neighbor Searching
- encadrant : Mariette Yvinec
- durée : 2 à 3 mois
- lieu : laboratoire Geometrica, INRIA, Sophia Antipolis
top
Stages choisis (2011-2012)
top