Theory Group





  • Alexander Hagg
  • Stefan Otto
  • Inga Plafky (/w M. Müller)
    • Rough sets, modal logic; verIT
  • Stefan Reinhard (/w M. Müller)
    • PARIA, ACME; verIT
  • Ralf Boeckhorst (/w A. Asteroth)
    • LEV-Safety; verIT
  • Daniel Ginster (/w A. Asteroth)
    • LEV-Safety; verIT
  • Alexander Löwen (/w A. Asteroth)
    • Effizente Mobilität


Please check the lecturer's homepages and LEA for additional information.

SS 2012 (summer term)

WS 2011/12 (winter term)

SS 2011 (summer term)

BSC/MSc Theses

Looking for a BSc/MSc-Thesis? Check this blog for the "bsc", "msc" or "thesis" tags!

Wenn Sie ein Bachelor/Master-Thema suchen, dann finden Sie in diesem Blog Einträge mit den Tags "bsc", "mac" oder "thesis".



Verification and Model Checking

WikiTag: vmc.

Current Project: Model checking pedelec controller software. See also: VerIT

Statistical Data Mining

WikiTag: sdm
PCA, Clustering, ...

Relational Knowledge Discovery and Logic Machine Learning

WikiTag: rkd
Multimodal Logic, Rough Sets, Inductive Logic, Relation Algebra.

Algebraic Foundations of Computer Science

WikiTag: alg

Cryptography, Quantum Computing

Selected Publications

(see persons individual pages for complete list of publications)