Algorithmen bestimmen, wie moderne Software funktioniert, wie effizient Daten verarbeitet werden und wie zuverlässig digitale Systeme reagieren. In einer Zeit, in der technologische Entwicklungen ...

Die Vorlesung Informatik II legt ihren Schwerpunkt auf Techniken der Entwicklung und Analyse von Algorithmen und Datenstrukturen. Die Studierenden sollen das algorithmische Denken lernen, d. h. mit ...

Der Forschungsbereich „Formale Methoden und Algorithmik“ (ForMAl) besteht aus den drei Arbeitsgruppen „Softwareentwicklung und Verifikation“, „Sicherheitskritische Systeme“ sowie „Effiziente ...

Was sind Algorithmen? und warum sind sie überall? Ein Algorithmus ist eine Serie von Anweisungen für ein Computersystem. Algorithmen sortieren Daten, berechnen Wahrscheinlichkeiten und automatisieren ...