Mathieu Jan
Expert Senior Ingénieur-chercheur at CEA Tech
Rennes, Brittany, France
Summary
👤
Senior🎓
Top SchoolMathieu Jan is an expert senior ingénieur-chercheur with 21 years of experience in real-time and embedded systems, formal methods, and HW/SW co-design, based in Rennes, France. At CEA Tech he has led teams, supervised PhD students, and driven technology transfer of time-triggered RTOS solutions, contributing to avionics and industrial control projects and holding 8 patents. Author of over 50 peer-reviewed publications with an H-index of 19, he blends rigorous academic research with practical evaluation of manycore architectures (e.g., Kalray MPPA) and predictable execution models. A former visiting scholar at UC Berkeley's iCyPhy, he brings international collaboration experience and a track record of turning formal analyses into safety- and security-critical deployments. Notably, his work often bridges patentable innovations and industrial adoption, reflecting both deep theory and concrete engineering impact.
21 years of coding experience
Diplôme d'ingénieur, Informatics, Diplôme d'ingénieur, Informatics at INSA Rennes - Institut National des Sciences Appliquées de RennesThèse de doctorat, Informatics, Thèse de doctorat, Informatics at Université de Rennes 1Habilitation à diriger des recherches (HDR), Informatics, Habilitation à diriger des recherches (HDR), Informatics at Université Paris-Sud
Github Skills (8)
hardware5
processor4
electrical-engineering4
llvm2
compiler2
fault-injection1
intermediate1
security1
Programming languages (4)
Github contributions (5)
t-crest/patmos-sail
Jan 2019 - Jun 2020
Contributions:127 pushes in 1 year 4 months
mjan-cea/lipsi
Mar 2019 - Apr 2026
Lipsi: Probably the Smallest Processor in the World
Contributions:7 pushes in 7 years 2 months
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.