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)

  • Blockchains

    • Analyse und Verifikation von Smart Contracts


Aktuelle Lehrveranstaltungen (Wintersemester 2019/20)

  • Funktionale Programmierung (Übung)

Frühere Lehrveranstaltungen

  • Seminar Blockchain (Sommersemester 2019)
  • Vertiefung logische Programmierung (Sommersemester 2019, Übung)
  • Funktionale Programmierung (Wintersemester 2018/19)
  • Model Checking (Sommersemester 2018)
  • Funktionale Programmierung (Wintersemester 2017/18)
  • Theoretische Informatik (Organisation u. Übung, Sommersemester 2017)
  • Funktionale Programmierung (Übung, Wintersemester 2016/17)
  • Funktionale Programmierung (Übung, Wintersemester 2015/16)

Abschlussarbeiten

Die folgenden Abschlussarbeiten habe ich (mit-)betreut:

NameTitelArt

Gesine Pfeil

Visualization of Clojure Data StructureBachelorarbeit
Sebastian StockEin Cloud Controller für verteiltes Modelchecking

Bachelorarbeit

Isabel WingenAn Optional Type System for PrologProjektarbeit

 

Offenen Themen für Abschlussarbeiten finden Sie hier. Derzeit kann ich keine weiteren Abschlussarbeiten betreuen.

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