Jan Jurka
FAU Erlangen-NürnbergLehrstuhl für Informatik 8 (Theoretische Informatik)Martensstraße 3D-91058 ErlangenRaum: 11.125E-Mail: jan.jurka[at]fau.de