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
  • Functional / logic programming

Current Courses (WT 2019/20)

    • TBD

    Past Courses

    • N/A 
    Responsible for the content: