Intuition verpackt in ein formales Modell // Universität Oldenburg https://uol.de/aktuelles/artikel/intuition-verpackt-in-ein-formales-modell-1492
Im Sonderforschungsbereich AVACS haben Top-Informatiker vermeintlich „unentscheidbare“ Probleme in sicherheitskritischen Systemen beherrschbar gemacht. Im Interview blickt Sprecher Werner Damm auf spannende zwölf Jahre zurück.
Wir wollten viel mehr die Komplexität, die wir am Markt beobachten, mathematisch
