Navigation

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

2017