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

  • Seminar Blockchain
  • undefinedVertiefung logische Programmierung (Übung)

Frühere Lehrveranstaltungen

Abschlussarbeiten

Die folgenden Abschlussarbeiten habe ich (mit-)betreut:

Name

Titel

Art

Gesine Pfeil

Visualization of Clojure Data Structure

Bachelorarbeit

Sebastian Stock

Ein Cloud Controller für verteiltes Modelchecking

Bachelorarbeit

Isabel Wingen

An Optional Type System for Prolog

Projektarbeit

 

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