coding

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.

Making the silent genes speak

1 min read · Sat, Dec 13 2014

applied mathematics computational science genomics coding gene

Regulating an overlooked set of genes may help biologists manipulate cells to find new therapy options.