numalis

Numalis provides services and solutions to transform AI projects into operational reality, focusing on formalized governance, certified competencies, and validated systems. The company offers structured AI governance, mapping and certification of AI competencies, and explainability and validation of AI model robustness. They contribute to international AI standards as active members of ISO/IEC and CEN-CENELEC. Numalis supports critical industries including Defense, Aeronautics & Space, Rail, Nuclear, and Banking & Insurance. In the Aeronautics & Space sector, they contribute to the certification of embedded AI and the validation of embedded machine learning systems on behalf of the European Union Aviation Safety Agency (EASA) in collaboration with Airbus Protect and LNE. The company's origins are rooted in enhancing the accuracy of critical avionic code and extending activities to the validation of artificial intelligence calculations, specifically proving the robustness and explainability of neural networks, with support from the French DGA (Ministry of Defence). Numalis leverages advanced mathematical techniques, including static code analysis via abstract interpretation, code synthesis, and abstract analysis. They develop new standards within ISO/IEC and CEN CENELEC committees for AI validation processes. The company was founded in 2015 by Arnault Ioualalen and Matthieu Martel.