The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by DesignDoctoral Symposium
Mon 13 Apr 2026 12:00 - 12:30 at Capri V - DS Session 1 Chair(s): Helena Holmström Olsson
AI-enabled systems increasingly influence high-stakes decisions, yet their opacity and unclear accountability mechanisms hinder their safe and trustworthy deployment. The state of the art lacks a proper software engineering oversight mechanism to audit AI systems (internally and externally) to achieve compliant-by-design AI systems prior to deployment. This research investigates how to enable verifiable and auditable AI systems by design, addressing gaps in intellectual-property-preserving transparency, operationalisation of regulatory requirements, and lifecycle-wide auditing. The research’s expected outcome is a unified framework and accompanying tools to support compliant-by-design, trustworthy AI systems across their development and operational lifecycles. All contributions will be empirically evaluated through case studies and interviews.
Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | |||
11:00 30mKeynote | AI Reinventing Software Engineering Doctoral Symposium Jan Bosch Chalmers University of Technology | ||
11:30 30mDoctoral symposium paper | Closing the Diagnostic Gap: An Explainable Testing Framework for Validation and Verification of AI-Based SystemsDoctoral Symposium Doctoral Symposium Halit Eris Technical University of Munich | ||
12:00 30mDoctoral symposium paper | The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by DesignDoctoral Symposium Doctoral Symposium Filippo Scaramuzza Tilburg University and Eindhoven University of Technology | ||