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.

Learning about robots and coding through play

1 min read · Wed, Feb 16 2022

robotics coding Decoding learning

"Hour of Code,” a worldwide initiative with the scope to teach children the basics of computer science, recently took place at The KAUST School Kindergarten. During Computer Science Education Week, December 5-9, 2021, researchers from the KAUST RISC Lab volunteered to help the children to “demystify” code and grasp their first concepts of robotics.