Robuste Softwaresysteme im Jahr 2020 Wirtschaftsspionage per Software-Trojaner, erfolgreiche Einbrüche in das Netz von Bundesbehörden, kompromittierte Industrieanlagen, … Diese Liste ließe sich beliebig erweitern und wöchentlich werden neue Sicherheitsvorfälle aufgedeckt. Dabei sind Softwarefehler eine der Grundursachen, häufig bilden sie den ersten Schritt hinter erfolgreichen Angriffen. Entsprechend benötigen wir effiziente und effektive Methoden, um komplexe Softwaresysteme […]

Das Thema probabilistische Modellierung und randomisierte Algorithmen erlangt durch die Aktualität von KI und maschinellem Lernen zurzeit eine besondere Bedeutung. Dies ist der Grund, weshalb sich viele Firmen auf diesem Gebiet engagieren, wie Facebook, Google, Microsoft, Uber und andere. Die probabilistische Programmierung ist eine faszinierende neue Richtung im Bereich Data Science. Fast jede Programmiersprache hat […]