Wir studieren wir die Prinzipien präzisen Denkens und entwickeln Kompetenzen für das präzise Formulieren und Argumentieren. Dabei lernen wir die Aussagenlogik und die Prädikatenlogik kennen. Wir studieren Anwendungen der Logik in der logiachen Programmierung und für die Verifikation von Programmen. Es geht darum, Ihren Verstand "scharfzustellen" und Ihnen somit den weiteren Studienverlauf zu erleichtern. 

Wir beschäftigen uns mit Petrinetzen. Dies ist ein Formalismus, der sich zur Modellierung verteilter Systeme bewährt und mehrere andere Formalismen inspiriert hat. Petrinetze gestatten Einsichten in Phänomene verteilter Systeme. Es gibt einzigartige Techniken für ihre Analyse.

Wir suchen in Systemen nach solchen Fehlern, die beim Testen unentdeckt bleiben. Wir servieren solide Theorie mit der notwendigen Prise Pragmatik, um einem wirklich herausfordernden Problem interessante und praktisch einsetzbare Lösungen abzugewinnen. Damit leisten wir einen wichtigen Beitrag zur Zuverlässigkeit von IT-Systemen und lernen viele leistungsstarke Algorithmen kennen, die sicher auch anderswo einsetzbar sind.

Geschäftsprozesse finden statt. Indem wir sie modellieren, können wir sie besser verstehen und steuern. Wir lernen Modellierungssprachen kennen sowie Techniken zur Analyse, zum Betrieb und zum Mining von Geschäftsprozessen. Wir studieren Services, mit denen Geschäftsprozesse organisationsübergreifend strukturiert werden können.