EN | DE
Theoretische Informatik

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

  • Universität Bremen, AG Theorie der Künstlichen Intelligenz (Prof. Dr. Carsten Lutz);
  • Jacobs University Bremen, School of Engineering and Science, Electrical Engineering and Computer Science (Prof. Dr. Michael Kohlhase);
  • TU Braunschweig, Institut für Theoretische Informatik (Prof. Dr. Jiri Adamek);
  • Chapman University, Faculty of Mathematics, School of Computational Sciences, Center of Excellence in Computation, Algebra and Topology (Prof. Dr M. Andrew Moshier and Prof. Dr Peter Jipsen);
  • Australian National University, Research School of Computer Science (Dr. Dirk Pattinson);
  • Birkbeck, University of London, School of Computer Science and Information Systems (Dr Szabolcs Mikulas);
  • Delft University of Technology, Elektrotechn., Wisk. and Inform. (Dr Jan Hidders);
  • Japan Advanced Institute of Science and Technology, School of Information Science (Dr. Katsuhiko Sano);
  • Radboud Universiteit Nijmegen, Institute for Computing and Information Sciences (Dr. Alexandra Silva);
  • Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften, Abteilung Informatik und Angewandte Kognitionswissenschaft (Prof. Dr. Barbara König);
  • University of Birmingham, School of Computer Science (Dr. Paul Blain Levy);
  • Indiana University Bloomington, Department of Mathematics (Prof. Dr. Lawrence Moss);
  • Universiteit Leiden, Leiden Institute of Advanced Computer Science (Dr. Marcello Bonsangue);
  • Universidad de Buenos Aires, Computer Science Department, Tools and Foundations for Software Engineering Lab (Prof. Dr. Diego Garbervetsky).

Laufende und vor kurzem beendete Forschungsprojekte

  • Eine High-Level-Sprache für Monadenkombination
  • Formale Methoden und semantische Technologien für technische Entwurfsprozesse
  • Generische algorithmische Methoden für Modal- und Hybridlogiken
  • Probabilistische Beschreibungslogik
  • Coinduction meets Algebra for the Axiomatization of System Equivalences (COAX)

Software