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 (Sommersemester 2019)

  • Seminar Blockchain
  • undefinedVertiefung logische Programmierung (Übung)

Frühere Lehrveranstaltungen


Meine offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

2019

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