The lecture focuses on the question of how coding agents can be guided towards higher-quality code through meaningful symbolic feedback. Between simple testing, which provides only limited evidence of software correctness, and the costly process of formal verification, Professor Bodden sees static analysis as a promising middle ground. In his talk, "Scaling Validation: The Backbone of Agentic Software Engineering," he will present current research approaches aimed at making static analysis more flexible, efficient, and precise.

Join us on November 3, 2026, and take part in the discussion. Further information about the event and registration details can be found at:

https://paluno.uni-due.de/en/news-and-events/events/distinguished-lectures/eric-bodden