Numalis est une société d’édition de logiciels basée à Montpellier qui fournit des outils et des services pour aider à la conception et à la validation de systèmes d’IA. Numalis permet d’accélérer les phases de design, d’entrainement et de validation d’IA. Pour cela Numalis utilise son expertise en analyse d’IA par méthodes formelles pour la mesure de leur robustesse et de leur explicabilité. A ce titre, Numalis est impliquée dans les comités de normalisation ISO/IEC, AFNOR et HAS visant à rendre l’IA plus fiable et plus explicable. En outre, M. IOUALALEN, PDG de Numalis, est rédacteur de la série de standards ISO 24029 sur les thématiques de la robustesse des IA.
Numalis s’adresse actuellement aux industriels de la Défense, du transport au sens large, de la santé mais plus généralement à tous les secteurs où la fiabilité des IA est importante.

Numalis is a software editing company based in Montpellier that provides tools and services to help with the design and validation of AI systems. Numalis accelerates the conception, training and validation phases of AI. To do this, Numalis uses its expertise in AI analysis considering of formal methods for the measure of their robustness and explainability. As such, Numalis is involved in ISO/IEC standardization committees, AFNOR and French High Health Autority aiming to make AI more reliable and more explicable. In addition, Mr. IOUALALEN, CEO of Numalis, is editor of the ISO 24029 series of standards on the topics of AI robustness.
Numalis is currently addressing to manufacturers in the defense, transportation and healthcare sectors, but more generally at all sectors where the reliability of AI is important.