Bachelor- und Masterarbeiten
Bachelor- und Masterarbeiten werden zu folgenden Themen angeboten:
- Logic and Computation
- Explizite Mathematik; Theorien von Typen und Namen
- Beweistheorie
- Abstrake Berechnungen in höheren Typen
- Charakterisierungen von Komplexitätsklassen
- Modal- und Temporallogiken
- Semantic Web
- Wissensrepräsentation
Für nähere Information und konkrete Themenstellungen setzen Sie sich bitte mit den Mitarbeitern der Gruppe LTG in Verbindung.
