Startseite
Eric Bodden

Eric Bodden, © Fraunhofer IEM

Distinguished Lecture mit Eric Bodden: Über das Rückgrat des Agentic Software Engineering

KI-Agenten werden immer schneller und selbständiger; doch wie sieht es mit der Qualitätssicherung aus? In der Distinguished Lecture am 3. November 2026 in Essen präsentiert Eric Bodden seine Forschung zu skalierbaren Validierungsverfahren, die mit dem Tempo und der Menge KI-basierter Softwareerzeugung Schritt halten sollen.

Im Mittelpunkt des Vortrags steht die Frage, wie Coding Agents durch aussagekräftiges symbolisches Feedback zu qualitativ besserem Code gelangen können. Zwischen einfachen Tests, die nur begrenzte Aussagen über die Korrektheit von Software erlauben, und einer aufwendigen formalen Verifikation des Codes sieht Professor Bodden in der statischen Analyse einen vielversprechenden Mittelweg. In seinem Vortrag "Scaling Validation: The Backbone of Agentic Software Engineering" stellt er aktuelle Forschungsansätze vor, die die statische Analyse flexibler, effizienter und präziser machen sollen.

Seien Sie am 03.11.2026 dabei und diskutieren Sie mit. Alle Infos zur Veranstaltung und die Möglichkeit zur Anmeldung finden Sie unter:

https://paluno.uni-due.de/aktuelles/veranstaltungen/distinguished-lectures/eric-bodden 

Zurück