Contact Information
Heinrich-Heine-Universität Düsseldorf
Universitätsstraße 1
D-40225 Düsseldorf
Email: chris.rutenkolk(at)hhu.de
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