Merlin Göttlinger

Adresse:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: merlin.goettlinger[at]fau.de
Telefon: 09131/85-64057
ORCiD: 0000-0002-2251-8519
keybase: mgttlinger
matrix: mgttlinger

Opportunities

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:

Master Projects

• Verification of coalgebraic logic results (in Coq or other languages)
• Extending COOL to handle new logics
• Your ideas?

Research

Working on the RANT DFG-Project from the RATIO SPP

Publications

• 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

2017

• Deifel, H. P., Dietrich, C., Göttlinger, M., Milius, S., Lohmann, D., & Schröder, L. (2017). Automatic verification of application-tailored OSEK kernels.
• Warzelhan, J. K., & Göttlinger, M. (2017). U.S. Patent Application No. 15/384,556.