Zum Inhalt springenZur Suche springen

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

  • Vertiefung Funktionale Programmierung: Clojure

Frühere Lehrveranstaltungen

  • 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

 

Offenen Themen für Abschlussarbeiten finden Sie hier.

Veröffentlichungen

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: