Arnaud Gotlieb

Arnaud Gotlieb serves as a Research Professor and Chief Research Scientist at Simula Research Laboratory in Norway, where he heads the Department Validation Intelligence for Autonomous Software Systems. His academic career spans over two decades with significant contributions to software testing and artificial intelligence integration.

Gotlieb's research focuses on Validation Intelligence of Autonomous Software Systems, Software Testing, Software Validation and Verification, and the application of Constraint Programming and Machine Learning to safety-critical systems. His innovative work bridges theoretical computer science with practical industrial applications, particularly in industrial robotics and autonomous systems.

His publication record shows a consistent trajectory of high-impact research with approximately 15 recent publications (2024-2025) focused on metamorphic testing, constraint acquisition, explainable AI for autonomous driving, and verification of AI systems. The research demonstrates a clear evolution from foundational constraint programming work toward contemporary challenges in trustworthy AI and autonomous systems validation.

Gotlieb has developed several influential tools including ITE (Stratified Disjunctive Reasoning), TITAN/FLOWER (Test suite optimization), EUCLIDE (constraint-based platform for critical C programs), and FPSE (Floating Point Symbolic Execution), which have advanced the field of automated software testing.