axplainable AI

What Survives When Code Doesn’t?

Dr. Laurent Bindschaedler, Research Group Leader, Max Planck Institute for Software Systems (MPI-SWS)

May 4, 12:00 - 13:00

B9 R2325

Trustworthy AI trustworthy machine learning coding AI axplainable AI software development

This talk explores how AI-driven code generation shifts the role of software from a durable artifact to a disposable implementation and argues for a new computational model for agentic software that formalizes the fundamental guarantees of intent, state, composition, and effect into explicit, enforceable contracts.