Joshua Schmidt

Contact Information

Heinrich-Heine-University Düsseldorf

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

Email: undefinedschmidt@cs.uni-duesseldorf.de

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

Room: 25.12.02.52

Current Courses (Summerterm 2018)

Past Courses

  • Model Checking (Lecture and Tutorial, Summerterm 2018)
  • Introduction to Logic Programming (Tutorial, Winterterm 2017/18)
  • Practical Programming Course (Tutorial, Summerterm 2016)
  • Introduction to Logic Programming (Tutorial, Winterterm 2015/16)

Publications

2019

2018

2016

Responsible for the content: E-MailWE Informatik