Jump to contentJump to search

Contact Information

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik

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

 Email:

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
    • Hybrid model checking
  • Functional / logic programming
    • Type-systems, test-case generation (cf. plspec)
  • Blockchains
    • Analysing and Verification of Smart Contracts

Current Courses (ST 2021)

  • Functional Programming: Clojure (Advanced Seminar)

Past Courses

  • Functional Programming (Inverted Classroom, WT 2020/21)
  • Model Checking (Inverted Classroom, ST 2020)
  • 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

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

    Responsible for the content: