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.

Die folgenden Abschlussarbeiten habe ich (mit-)betreut:

Name

Titel

Art

Alexandros Efremidis

Measuring Coverage of Prolog Programs Using Mutation Testing

Bachelorarbeit

Christopher Happe

Refactoring einer JavaFX Anwendung mit einer Datenbankschnittstelle mit Spring Boot

Bachelorarbeit

Naouel Kocatürk

Überblick über die Techniken zur Pupillenerkennung (Eyetracking)

Bachelorarbeit

Sebastian Meyer

Predicting Components for Inductive Program Synthesis Using Deep Learning

Masterarbeit

Veröffentlichungen

2019

2018

2016

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