Joshua Schmidt

Kontakt

Heinrich-Heine-Universität 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

Raum: 25.12.02.52

Aktuelle Lehrveranstaltungen (Sommersemester 2019)

  • Model Checking (Vorlesung und Übung, Sprechstunde: nach Vereinbarung)

Frühere Lehrveranstaltungen

  • Model Checking (Vorlesung und Übung, Sommersemester 2018, 2019)
  • Einführung in die logische Programmierung (Übung, Wintersemester 2015/16, 2017/18)
  • Programmierpraktikum (Übung, Sommersemester 2016)

Eine Auswahl an offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

2019

2018

2016

Verantwortlich für den Inhalt: E-Mail sendenWE Informatik