| Matthieu Martel | |||||
|
|
||||
|
|||||
Contact Bâtiment B - 1er étage 52 avenue Paul Alduy F-66860 Perpignan Cedex France TEL: (+33) 4 30 19 81 19 FAX: (+33) 4 68 66 22 87 MAIL: matthieu.martel@univ-perp.fr |
Research Interests Numerical accuracy Abstract interpretation Program transformation Validation of embedded systems Discrete-continuous hybrid systems |
Links Université de Perpignan DALI research team |
