Contact Information

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik

Universitätsstraße 1
D-40225 Düsseldorf

 Email: p.koerner@uni-duesseldorf.de

Phone: +49 (211) 81-10713
Fax: +49 (211) 81-10712

Room: 25.12.02.56

 

Research Interests

  • Model checking / safety critical systems

    • Performance and optimisations
    • Executing formal specifications during runtime

  • Functional / logic programming

    • Type-systems, test-case generation (cf. undefinedplspec)

  • Blockchains

    • Analysing and Verification of Smart Contracts


Current Courses (ST 2020)

     

  • Model Checking

Past Courses

  • Functional Programming (Tutorial, WT 2019/20)
  • Seminar Blockchain (ST 2019)
  • Advanced Logic Programming (Tutorial, ST 2019)
  • Functional Programming (WT 2018/19)
  • Model Checking (ST 2018)
  • Functional Programming (WT 2017/18)
  • Theoretical Computer Science (Organisation + Tutorials, ST 2017)
  • Functional Programming (Tutorial, WT 2016/17)
  • Functional Programming (Tutorial, WT 2015/16)

 

Publications

2020

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

    Responsible for the content: