Zum Inhalt springenZur Suche springen

Philipp Körner

Kontakt

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email:

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
    • hybrides Model Checking
  • Funktionale / Logische Programmierung
    • Typsysteme, Test-Case Generation (vgl. plspec)
  • Blockchains
    • Analyse und Verifikation von Smart Contracts

Aktuelle Lehrveranstaltungen (Sommersemester 2022)

  • Vertiefung Funktionale Programmierung: Clojure

Frühere Lehrveranstaltungen

  • Einführung in die Funktionale Programmierung (Wintersemester 2021/22, Inverted Classroom)
  • Vertiefung Funktionale Programmierung: Clojure (Sommersemester 2021, Seminar)
  • Funktionale Programmierung (Wintersemester 2020/21, Inverted Classroom)
  • Model Checking (Sommersemester 2020, Inverted Classroom)
  • Funktionale Programmierung (Wintersemester 2019/20, Übung)
  • 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:

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
Sarah Glasmacher Embedding Differential Equations into ProB Bachelorarbeit
Isabel Wingen You're Not My Type: Analyzing Prolog Programs Masterarbeit
Sebastian Sura Eine Paketverwaltung für Prolog Bachelorarbeit
Maximilian Bauer An Improved CSP Interpreter for ProB Masterarbeit
Jan Roßbach Boolean Encoding of Statically Finite Sets in B Machines Bachelorarbeit

 

Offenen Themen für Abschlussarbeiten finden Sie hier.

Veröffentlichungen

2024

2023

2022

  • Philipp Körner, Michael Leuschel, João Barbosa, Vtor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
    Fifty Years of Prolog and Beyond.
    In Theory and Practice of Logic Programming, 22, 6, 776--858, 2022.
  • Philipp Körner, Florian Mager
    An embedding of B in Clojure.
    In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, ACM, 598--606, 2022.
  • Towards Practical Partial Order Reduction for High-Level Formalisms.
    In Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, Lecture Notes in Computer Science, 13800, Springer, 72--91, 2022.
  • Anne Brecklinghaus, Philipp Körner
    A Jupyter Kernel for Prolog.
    In Proceedings of the 36th Workshop on (Constraint) Logic Programming (WLP 2022), 2022.

2021

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

    Verantwortlichkeit: