From International Center for Computational Logic
Suggested Thesis Topics
- Automata Theory (Franz Baader)
- Computational Logic (Sebastian Rudolph)
- Verification and formal quantitative Analysis (Christel Baier)
- Knowledge-Based Systems (Markus Krötzsch)
- Knowledge Representation and Reasoning (Steffen Hölldobler)
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.