Joshua Schmidt

Contact Information

Heinrich-Heine-University Düsseldorf

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

Email: undefinedjoshua.schmidt@hhu.de

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

Room: 25.12.02.52

Current Courses (Summerterm 2019)

  • Model Checking (Lecture and Tutorial)

Past Courses

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

Publications

2019

2018

2016

Responsible for the content: E-MailWE Informatik