Jump to contentJump to search

Contact

Joshua Schmidt

Contact Information

Heinrich-Heine-University Düsseldorf

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

Email:

Tel.: +49 211 81-12635
Fax: +49 211 81-10712

Room: 25.12.02.52

Current Courses (Winterterm 2020/2021)

  • Introduction to Logic Programming

Past Courses

  • Overview Artifical Intelligence (Seminar, Summerterm 2020)
  • Model Checking (Lecture and Tutorial, Summerterm 2018, 2019)
  • Introduction to Logic Programming (Tutorial, Winterterm 2015 - 2021)
  • Practical Programming Course (Tutorial, Summerterm 2016)

Publications

2020

2019

2018

2016

Responsible for the content: