Skip to main content

Department of Computer Science

Prof. Dr. Martin Müller

Prof. Dr Martin E. Müller

Math./theor. foundations of informatics

Unit

Department of Computer Science

Research fields

  • (Non-classical) algebraic (modal) logic
  • Vagueness by residual constructions
  • Relation Algebra
  • Logic and relational knowledge discovery aka (explainable) machine learning

Location

Sankt Augustin

Room

C.214 or A.033

Address

Grantham-Allee 20

53757 Sankt Augustin

Links