Philipp Körner

Kontakt

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email: p.koerner@uni-duesseldorf.de

Tel.: +49 (211) 81-10713
Fax: +49 (211) 81-10712

Raum: 25.12.02.56

Meine Forschungsinteressen

  • Model Checking / Sicherheitskritische Systeme
    • Performance und Optimierungen
    • Verwendung von formalen Spezifikationen zur Laufzeit
  • Funktionale / Logische Programmierung
    • Typsysteme, Test-Case Generation (vgl. undefinedplspec)

Aktuelle Lehrveranstaltungen (Wintersemester 2018/19)

Frühere Lehrveranstaltungen

Meine offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

2018

2017

  • plspec - A Specification Language for Prolog Data.
    In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, Technical Report, 499, University of Würzburg, 2017.

    2016

    2015

    2013

    Verantwortlich für den Inhalt: E-Mail sendenWE Informatik