50 Jahre Uni Bremen: Rolf Drechsler
Ohne Fehl und Tadel
Herzschrittmacher, Autobremsen, ja sogar Handys müssen fehlerlos sein, um ihren Zweck zu erfüllen. Rolf Drechsler ist Informatiker und forscht daran, wie man die Korrektheit von Rechnersystemen nachweisen kann.
#KULTUR
#BREMEN
#DEUTSCHES FORSCHUNGSZENTRUM FÜR KÜNSTLICHE INTELLIGENZ