Suggested Thesis Topics
From International Center for Computational Logic
Suggested Thesis Topics
This page contains an incomplete list of possible topics for student projects. In general, interested students should directly contact the supervisor they want to work with to enquire about possible topics. It can be helpful to mention which relevant courses one has already taken (especially courses given by the supervisor). Some research groups also list possible topics on separate course pages:
Type of thesis
Forschungsgruppe
- A Simplified Tableau Calculus for Standpoint LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis
- Ill-Founded Linear Nested Sequents for LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis
