Joshua Schmidt

Kontakt

Heinrich-Heine-Universität Düsseldorf

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

Email: undefinedjoshua.schmidt(at)hhu.de

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

Raum: 25.12.02.52

Aktuelle Lehrveranstaltungen (Wintersemester 2020)

  • Introduction to Logic Programming (Übung, Sprechstunde: nach Vereinbarung)

Frühere Lehrveranstaltungen

  • Überblick künstliche Intelligenz (Seminar, Sommersemester 2020)
  • Model Checking (Vorlesung und Übung, Sommersemester 2018, 2019)
  • Einführung in die logische Programmierung (Übung, Wintersemester 2015 bis 2020)
  • Programmierpraktikum (Übung, Sommersemester 2016)

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

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
Sebastian Meyer Predicting Components for Inductive Program Synthesis Using Deep Learning Masterarbeit
Johannes Schipmann Test Coverage Analysis for Prolog and ProB with Automated Test Execution Through Integration into Git Bachelorarbeit
Marc Christopher Anfang Enabling SMT Solving for CLP(FD) in Prolog by Translating to SMT-LIB Bachelorarbeit
Kevin Bernard Gnyp Eye Tracking and Horizontal Nystagmus Detection via a Webcam Masterarbeit

Veröffentlichungen

2020

2019

2018

2016

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