NUMALIS est une société d’édition de logiciels basée à Montpellier qui fournit des outils et des services d’aide à la conception et à la validation de systèmes d’IA. Ces outils permettent 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 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. 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. 
Site internet