curriculum vitæ
20/01/2011
Mathias Péron
Né le 10 juillet 1982 à Annecy
Docteur en Informatique
objectif → Post-doctorat
Actuellement au laboratoire VERIMAG.
Travaux sur l' analyse statique de programmes numériques (VMCAI'07, PLDI'08)
Soutenance prévue en janvier 2009.
diplômes
- Magistère Informatique & Modélisation, Ecole Normale Supérieure de Lyon
- Master Informatique Systèmes et Logiciels - option Validation des Systèmes Critiques, mention Bien, Université Joseph Fourrier, Grenoble I
- Maîtrise Informatique, mention Bien, Ecole Normale Supérieure de Lyon
- Second semestre mention Bien, Facultat d'Informatica de Barcelona, Universitat Politècnica de Catalunya
- Licence Informatique mention Assez Bien, Ecole Normale Supérieure de Lyon
- DEUG MIAS mention Bien, Université de Savoie
- Baccalauréat S spécialité Mathématiques mention Bien
expérience
- Doctorant du CNRS au laboratoire VERIMAG. Travaux sur l' analyse statique de programmes numériques
- Moniteur à l'ENSIMAG (INPG). Enseignement de la compilation, du génie logiciel et de la programmation en ocaml
- Research Assistant au laboratoire DSG du Trinity College of Dublin. Travaux sur le protocole TCP et l'évitement de la congestion en milieu ad hoc.
- Stagiaire au laboratoire CITI (INRIA/ENS Lyon) portant sur l'étude de l'équité dans les réseaux ad-hoc.
langues
- niveau correct (lu, parlé, écrit)
- bon niveau (lu, parlé, écrit)
- notions (lu)
divers
- PSC1 (premier secours)
-
Militant à Amnesty International France
- Réprésentant des jeunes militants au conseil national
- Co-fondateur et secrétaire de l'association d'informatique de l'Université de Savoie
- Création et tenue du journal du lycée Charles Baudelaire (Haute-Savoie)
- Permis B