Matthieu Martel
Vice-président Relations Internationales
Argelès-sur-Mer, Occitania, France
Summary
👤
Senior🎓
Top SchoolMatthieu Martel is a research-driven computer scientist and academic leader with over a decade of experience bridging theoretical methods and practical engineering in numerical accuracy, abstract interpretation, and safety-critical systems. As Vice-président Relations Internationales and Professor at Université de Perpignan, he combines university leadership with hands-on R&D responsibilities, including directing research and development at Numalis. His work spans semantics-based code transformations, precision tuning, scientific data compression, and the safety and arithmetic issues of neural networks and embedded systems. Trained at École normale supérieure de Lyon and holding a doctorate from Aix-Marseille, he brings deep formal-methods expertise to applied problems in green and frugal computing. Colleagues value his ability to translate formal verification and arithmetic analyses into practical tools and industry collaborations. Based in Argelès-sur-Mer, he uniquely blends long-term public research experience (CEA and academia) with startup R&D leadership.
10 years of coding experience
Doctorat, Informatique, Doctorat, Informatique at Aix-Marseille UniversitéHabilitation à Diriger des Recherches, Informatique, Habilitation à Diriger des Recherches, Informatique at Université Paris DauphineMagistère, Computer Science, Magistère, Computer Science at École normale supérieure de Lyon
English, Spanish, Catalan
Github Skills (3)
compression7
floating-point6
linear-algebra5
Programming languages (3)
Github contributions (5)
mmartel66/blaz
Jun 2021 - Mar 2022
Blaz: a library for frugal matrix computations. Blaz provides compression/uncompression functions for matrices of floating-point numbers and makes it possible to perform basic linear algebra on the compressed matrices, without uncompressing them.
Contributions:42 commits, 18 pushes in 8 months
compressionfloating-pointlinear-algebrafrugal-computinggreen-computing
mmartel66/TestEJCP.github.io
Feb 2024 - Feb 2024
Contributions:2 pushes in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.