News
- PC-member of FORMATS 2022 - 20th Conf. on Formal Modeling and Analysis of Timed Systems
- PC-member of CODIT 2022 - 8th Conf. on Control, Decision and Information Technologies
- PC-member of ICICT 2022 - 5th Conf. on Information and Computer Technologies
- PC-member of HSCC 2021 - 24th ACM Conf. on Hybrid Systems: Computation and Control
Contact
Laboratoire de Mathématiques et de Physique
Université de Perpignan Via Domitia
Bâtiment B - 2ième étage
52 avenue Paul Alduy
F-66860 Perpignan Cedex, France
France
Phone: (+33) 4 68 66 20 52
Numalis
Cap Oméga Rond-point Benjamin Franklin
34960 Montpellier, France
Email: Matthieu Martel
Research interests
Computer arithmetic & numerical accuracy
Abstract interpretation
Semantics-based code transformations & synthesis
Validation of embedded systems
Safety of Neural Networks & arithmetic issues
Green & frugal computing
Precision tuning & scientific data compression
