KI-generierter Code auf dem Prüfstand: Syntax gut, Logik auch?

Referent: René Preuss, Leapter GmbH

Wir entwickeln Software heute zunehmend mit KI: LLMs und KI-Agenten sind unsere neuen Werkzeuge. Sie schreiben Code in Rekordgeschwindigkeit und nehmen uns Routinearbeit ab. Wir stellen vor: Was ist das sogenannte „AI Verification Problem“? Wie stellen wir sicher, dass die KI wirklich das programmiert, was wir intendiert haben? Warum geraten wir bei kritischer Geschäftslogik mit blindem Vertrauen in die KI an unsere Grenzen? Und wie können wir durch visuelle, deterministische Blueprints die volle Kontrolle behalten?

Die Leapter GmbH entwickelt Lösungsansätze, um KI-generierte Software verlässlich und überprüfbar zu machen. Wir nutzen KI für maximale Entwicklungsgeschwindigkeit, setzen aber auf harte Verifikation statt auf bloßes „Vibe Coding“. Unser Ansatz umfasst Konzepte, die die Blackbox der KI aufbrechen und als direkte Brücke zwischen menschlicher Absicht und fehlerfreiem Code dienen. Große Teile des zukünftigen Codes werden maschinell entstehen – wir zeigen, wie wir uns trotzdem zu 100 % auf das Ergebnis verlassen können.

Bei Fragen zur Veranstaltung wenden Sie sich gern an:

Karsten Jahn
Modellfabrik Virtualisierung
Telefon: +49 3641 20 53 76
E-Mail: jahn@kompetenzzentrum-ilmenau.de