Philipp Körner

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)

Current Courses (Winter Term 2018/19)

    Past Courses

     

     

    Publications

    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