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 (Summerterm 2022)

  • Overview Artificial Intelligence (Seminar)

Past Courses

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

Publications

2021

  • Improving SMT Solver Integrations for the Validation of B and Event-B Models.
    In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou, LNCS, 12863, Springer International Publishing, 107--125, 2021.

2020

2019

2018

2016

Responsible for the content: