Lehrstuhl für Informatik 8 (Theoretische Informatik)
We are currently looking for a student worker for work on the COOL reasoner (written in OCaml). So if you have some experience (or interest) in functional programming, get in contact.
Besides this, there are opportunities for projects or theses:
- Verification of coalgebraic logic results (in Coq or other languages)
- Extending COOL to handle new logics
- Your ideas?
Working on the RANT DFG-Project from the RATIO SPP
- Bachelor thesis: Sadly my bachelor thesis has to be kept a secret due to non-disclosure agreements but the topic was “Scene Reconstruction by Means of a PTZ-Camera” and the patent below was a result from it
- Master thesis including sources and presentation: Göttlinger, M. (2018). Formalising Algorithmic Correspondence for Modal Languages