curriculum vitæ
20/01/2011
Mathias Péron
Né le 10 juillet 1982 à Annecy
Vérification de logiciels / Ingénieur expert
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
langues
- niveau correct (lu, parlé, écrit)
- bon niveau (lu, parlé, écrit)
- notions (lu)
divers
-
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)