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

    • Seminar Blockchain
    • Advanced logic programming

    Past Courses

     

     

    Publications

    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: E-MailWE Informatik