curriculum vitæ
2011-20-01
Mathias Péron
Software Verfication / Senior Development Engineer
PhD in Computer Science
- Grenoble, France
- +33 6 16 20 58 14
-
objective → Postdoctoral Position
Currently at MathWorks
Work on static analysis of numerical programs handling arrays (VMCAI'07, PLDI'08)
PhD defense planned in january, 2009.
work experience
- PhD Student at CNRS, VERIMAG laboratory. Work on static analysis of numerical programs handling arrays
- Teaching Assitant at INPG, ENSIMAG school. I taught compilation theory, software engineering and programming in ocaml
- Research Assitant at Trinity College of
Dublin, DSG laboratory. Work on the protocol TCP and congestion avoidance in ad hoc networks
- Internship Student at INRIA/ENS Lyon, CITI laboratory. Work about the fairness problem in ad-hoc networks
education
- Master & Bachelor computer science, Ecole
Normale Supérieure of Lyon
- Facultat d'Informatica de Barcelona, Universitat Polytècnica de
Catalunya
- Master computer science, critical software validation, Université Joseph Fourrier, Grenoble I
- Second year degree in mathematics and computer
science, Université de Savoie
- High school graduation in science
languages
- mother tongue
- good level
- fluent
- basics only
miscellaneous
-
Training "prevention and first aid", level 1
-
Militant at Amnesty International France
-
Representant of young militants at national council
- Co-founder and secretary of the association
of computer science, Université de Savoie
- Creation of the newspaper of the high school, Lycée Charles Baudelaire
references