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 (6)
intervals8
floating8
compression7
benchmarking7
benchmark7
floating-point6
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
compressionfrugal-computinggreen-computingscientific-data
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.