Table of Contents

Forschung

Der Lehrstuhl repräsentiert Themen aus dem Bereich Logik in der Informatik in Lehre und Forschung.

Forschungsschwerpunkte

Logik-basierte Wissensrepräsentation; Softwarespezifikation und -verifikation; Modallogik in der Informatik, insbesondere koalgebraische Logik; Unsicherheit, Vagheit und Defaults; Programmlogiken und Semantik von Programmiersprachen, insbesondere monadische Programmierung und Semantik von Iteration und Rekursion; koalgebraische Semantik nebenläufiger Systeme.

Kooperationsbeziehungen

Laufende und vor kurzem beendete Forschungsprojekte

Software