Projekt
Let’s Talk AI with Computer Science Expert Martin Leucker
Abstract Analysis and verification methods must be developed if AI is used in safety critical domains. My personal AI mission: To make AI techniques more trustworthy and create further methods and methodology for designing and building powerful and safe AI-based solutions efficiently: SE4AI.
Abstract Analysis and verification methods must be developed if AI is used in safety critical domains. My personal AI mission: To make AI techniques more trustworthy and create further methods and methodology for designing and building powerful and safe AI-based solutions efficiently: SE4AI.
Hochschulen
- University of Lübeck University of Lübeck – Hochschule bzw. Forschungseinrichtung mit Aktivitäten in Forschung und Innovation.