photo profile 1k Posts
statut Certified
Best People
Watch Video
October 18, 2021

Computers are everywhere.
There are no longer only traditional desktop and laptop computers, but smartphones, cars, trains, planes and home automation devices also contain micro processors.
They rely on software and we rely on its correctness. But what is done today to make software correct? Unfortunately, it is mostly about good intentions, a bit of testing, managing error reports, resolving the most severe problems and shipping updates frequently. Can we do better? Can we reliably exclude errors before releasing software?
Actually, many kinds of problems are known for decades, they even got names.
I want to show some of these problems and how we can get rid of them ultimately. Henning Thielemann started programming at the age of 11 and is since then looking for programming languages with high expressivity and good support for avoidance of errors,
e.g. strong type systems. He used programming languages from the Modula family for 10 years and is now using the functional programming language Haskell for 15 years.
He studied computer science at the Martin-Luther-Universität in Halle, received his PhD at the Zentrum für Technomathematik (the center for industrial mathematics) in Bremen and develops software as a freelancer since 2013. This talk was given at a TEDx event using the TED conference format but independently organized by a local community. Learn more at

#coding #computers #english #software #tedxtalks #technology