Joshua Schmidt

Kontakt

Heinrich-Heine-Universität Düsseldorf

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

Email: joshua.schmidt@uni-duesseldorf.de

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

Raum: 25.12.02.52

Aktuelle Lehrveranstaltungen (Sommersemester 2018)

Frühere Lehrveranstaltungen

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

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

Veröffentlichungen

2018

2016

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