Theses
From International Center for Computational Logic
Theses
Suggested Thesis Topics
Completed Theses
- Algebra and Discrete Structures (Manuel Bodirsky)
- Automata Theory (Franz Baader)
- Computational Logic (Sebastian Rudolph)
- Logic Programming and Argumentation (Sarah Alice Gaggl)
- Verification and formal quantitative Analysis (Christel Baier)
- Knowledge-Based Systems (Markus Krötzsch)
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.