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