Theses

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Theses

Suggested Thesis Topics

Suggested topics

Completed Theses

• Algebra and Discrete Structures (Manuel Bodirsky)
• Algebraic and Logical Foundations of Computer Science (Christel Baier)
• Automata Theory (Franz Baader)
• Computational Logic (Sebastian Rudolph)
• Knowledge-aware Artificial Intelligence (Simon Razniewski)
• Logic Programming and Argumentation (Sarah Alice Gaggl)
• Knowledge-Based Systems (Markus Krötzsch)

Currently Ongoing Theses

Currently Ongoing Theses

There is still work to do on this page

Add guidelines and pointers for students.

See also the list of all pages with todos. This note is only visible to logged in users.