home
key

curriculum vitæ

2011-20-01

Mathias Péron

Software Verfication / Senior Development Engineer
PhD in Computer Science

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

education

languages

miscellaneous

references