juin 1998 : Obtention du Baccalauréat série S (scientifique)
Mention Bien.
1998/2000 : Classes Préparatoires, au lycée du Parc, à Lyon.
Mathématiques Supérieures MPSI
(Maths-Physique-Sciences de l'ingénieur) et Mathématiques Spéciales MP
(Maths-Physique) option Informatique. Admissions :
Concours commun polytechnique (ENSI),
TPE fonctionnaire,
Magistère d'informatique de l'ENS LYON.
2000/2001 : Première Année de Magistère d'Informatique et
Modélisation à l'ENS LYON. Licence d'informatique mention AB.
2001/2002 : Deuxième Année de Magistère d'Informatique et
Modélisation à l'ENS LYON. Deuxième Semestre à l'Université de Munich,
Allemagne. Maîtrise d'informatique mention AB.
Juin 2002 : admission au concours troisième année de l'ENS
Cachan, section informatique. Autorisée à suivre les cours du DEA
d'Algorithmique de Paris-Jussieu, cohabilité par les écoles
suivantes : ENS Ulm, ENS Cachan, Ecole Polytechnique, ENST, universités
Paris VI, VII et Paris Sud.
2002/2003 : Troisième année de Magistère d'Informatique et
Modélisation (ENS Lyon). DEA d'Algorithmique de Paris-Jussieu, et cours
supplémentaires dispensés à l'ENS Cachan. Stage de DEA au laboratoire
Verimag, Grenoble.
2003/2004: ENS-Cachan. Première Année de
Thèse d'Informatique au Laboratoire Verimag; Grenoble, sous la
direction de Nicolas
Halbwachs, sur la vérification automatique de programmes à états
infinis. Interruption de 6 mois pour congé maternité.
2004-oct 2007: Thèse d'Informatique au Laboratoire Verimag;
Grenoble. Financement
bourse AC et monitorat à l'Université Joseph Fourier,
Grenoble 1.
sept 2007-... Post Doc au Citi, insa Lyon.
Enseignement
Premier semestre 2007/2008 TD/TP d'initiation à
l'informatique, linux,bases de données en première année Insa Lyon
(25h), et TD/TP de Pascal avancé : pointeurs, ihm, objets( 25h) en 2A.
Deuxième semestre 2006/2007 TD de
OCaml (1 groupe, 18h) en RICM (Polytech Grenoble,
niveau L3), encadrement de stagiaires PFE de Polytech 3A.
Premier semestre 2006/2007 : TD de Sémantique des
langages de Programmation (LTS) en M1 (1 groupe, 30heures).
Deuxième semestre 2005/2006 : TD (18h) de modèles
de calculs et de vérification, en MIAGE 2 (niveau L3).
Premier semestre 2005/2006 : Td de Sémantique des
langages de Programmation (LTS) en M1 (1 groupe, 30heures). TD de
Langages et Traducteurs (1 groupe, 18h) en RICM (Polytech Grenoble,
niveau M1).
Premier semestre 2004/2005 : Enseignement de l'UE "INF111"
en L1 (à Grenoble). Cours/td/tp (64h) d'Unix/C/Algorithmique à
des débutants, parcours Physique et physique/Chimie.
Avril-Juin 2003: TP de Maple (3 tps) en classe de
maths sup' PCSI. Enseignement de l'outil comme aide à la
résolution de problèmes mathématiques.
Années scolaires 2001/2002 et 2002/2003: TP de Pascal ("khôlles") en
classe préparatoire aux grandes écoles de commerce, deuxième
année (Lycée du Parc, Lyon et Lycée Carnot, Paris).
Enseignement élémentaire d'algorithmique et de programmation.
Stages de recherche
du 10/03/2003 au 30/06/2003 : stage de Dea (M2) au Verimag,
sous la direction de Nicolas Halbwachs, traduction de la logique
d'intervalles QDDC en automates observateurs LUSTRE.
du 15/01/2002 au 15/03/2002 : stage de deuxième année de
magistère (M1), sous la direction de Joseph Sifakis, au
Laboratoire Vérimag, à Grenoble (Autour des automates observateurs et du langage IF)
du 5/06/2001 au 22/07/2001 : stage de première année de
magistère (L3), sous la direction de Philippe Schnoebelen au Laboratoire
Spécification et Vérification (LSV) de l'Ens Cachan (Autour des
automates temporisés et du logiciel SMV)
Compétences
Dans le domaine de la Vérification : étude détaillée du logiciel
Cadence SMV, connaissance du langage IF, utilisation du
theorem-prover Isabelle sous la direction de T. Nipkow, lors du
séjour en Allemagne. Connaissance des outils autour du langage
synchrone LUSTRE.
Anglais scientifique. Connaissance moyenne
de la langue allemande.
Connaissance des langages CAML, PASCAL, C++, C, JAVA, LISP, PROLOG
(dans l'ordre de maîtrise).
Cours suivis jusqu'à présent : Algorithmique, Algorithmique
Parallèle, Automates,
"Bildfolgen" (succession d'images), Calcul Formel et
Cryptographie, Compilation, "Computer
Graphik", Décidabilité, Géométrie Algorithmique,
Graphes, Jeux, Logique, Modèles de Calcul,
Probabilités et applications en algorithmique,
Programmation, POO, Réécriture, Lambda-Calcul, Langages formels et
systèmes symboliques, Mots infinis, Test (génie logiciel), Unix,
Vérification de Systèmes (infinis, paramétrés, temporisés).