| Sept 2003- Présent |
Assistant de recherche, School of
Informatics, Université d'Edimbourg, Écosse. Projet Enhance : Amélioration des performances des applications pour grilles
d'ordinateurs en utilisant des modèles de programmation haut niveau
(squelettes algorithmiques) et des modèles de performance (algèbres
de processus), travaillant avec Murray Cole, Jane Hillston et
Stephen Gilmore. |
| Fév 2005 |
Attribution du Prix de thèse de l'Institut
National Polytechnique de Grenoble pour mes travaux de thèse. |
| Oct 2000- Sept 2003 |
Doctorat d'Informatique : Systèmes et
Communications de l'Institut National Polytechnique de Grenoble,
soutenu le 18 Juin 2003, intitulé Méthodes et Algorithmes pour
l'évaluation des performances de systèmes à grand espace d'état,
sous la direction de Brigitte Plateau (laboratoire ID-IMAG,
Grenoble). |
| |
Le jury était composé de : Andrzej Duda (Président, INPG), Susanna
Donatelli (Rapporteur, Université de Turin, Italie), Jean-Michel
Fourneau (Rapporteur, Université de Versailles), Brigitte Plateau
(Directeur de thèse, laboratoire ID-IMAG), William J. Stewart
(Examinateur, North Carolina State University, USA). |
| |
Allocataire de recherche et Monitrice CIES à l'INPG. |
| 1999-2000 |
DEA d'Informatique : Systèmes et
Communications, Université Joseph Fourier, Grenoble. Mention Très
Bien. |
| |
Stage de DEA au laboratoire ID-IMAG sous la direction de
Jacques Chassin de Kergommeaux : Étude des interactions entre
l'outil de trace pour Athapascan-0 et les applications tracées. |
| 1997-2000 |
École Nationale Supérieure
d'Informatique et de Mathématiques Appliquées de Grenoble
(ENSIMAG), Option Systèmes et Réseaux, INPG, Grenoble. Mention Très
Bien. |
| |
Stage de 2ème année ENSIMAG (8 semaines, été 1999) à Caltech,
Pasadena, USA : Analyse de données en astrophysique à l'aide du
logiciel MADCAP (Microwave Anisotropy Dataset Computational Analysis
Package). |
| |
Stage de 1ère année ENSIMAG (6 semaines, été 1998) à
l'Institut de Radio-Astronomie Millimétrique (IRAM), Grenoble :
Étude et réalisation d'une interface utilisateur basée sur la
librairie 'Xforms' comme alternative à 'Motif' pour des applications
existantes de traitement de données astronomiques, en particulier
dans le contexte de leur utilisation sous Linux. |
| 1995-1997 |
Classes préparatoires MPSI-MP*, Lycée
Champollion, Grenoble. |
| 1995 |
Baccalauréat S-SVT, spécialité Mathématiques,
Grenoble. Mention Très Bien. |
| |
Stage (4 semaines, été 1995) au CRTBT, CNRS, Grenobe :
Étude des turbulences de l'Hélium : réalisation de capteurs de
température. |