Zum Inhalt springenZur Suche springen

Schmidt

Dr. Joshua Schmidt

Kontakt

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

Raum: 25.12.02.52

Aktuelle Lehrveranstaltungen

  • Bachelorseminar "Überblick künstliche Intelligenz"

Frühere Lehrveranstaltungen

  • Überblick künstliche Intelligenz (Seminar, Sommersemester 2020 - 2024)
  • Model Checking (Vorlesung und Übung, Sommersemester 2018, 2019)
  • Einführung in die logische Programmierung (Übung, Wintersemester 2015 - 2022)
  • 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
Alexandros Efremidis A Translation of B Predicates to Answer Set Programming Masterarbeit
Jonas Schneider Eye Pupil Tracking on Smartphones using Deep Learning Masterarbeit
Axel Arnulf Pfennig Duplikaterkennung von Prolog Code mittels Deep-Learning Bachelorarbeit
Bayar Bakhtyar Abdullah Eye Pupil Detection on Variable Size Images using Deep Learning Bachelorarbeit
Amin Raslan Ein Vergleich von CLP(FD) und MiniZinc Bachelorarbeit
Lars Leyendecker Calling Python from Prolog: A General Interface Bachelorarbeit
Jannik Leon Esser A Platform Independent Expert System for Medical Diagnosis Bachelorarbeit
Jeewon Lee App zur Digitalisierung und Optimierung von Lagerarbeiten auf Basis des Outbound-Prozesses Bachelorarbeit
Leander Nachtmann Vertigo Web – Implementation and Preparations for Certification of a Telemedical Mobile and Web Application for Vertigo Patients Masterarbeit

Veröffentlichungen

2023

  • Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Elena Schulte, Christiane Schüle, Michael Leuschel, Jörg Schipper
    Smartphone-Based Videonystagmography Using Artificial Intelligence.
    In Current Directions in Biomedical Engineering, 9, 1, 528--531, 2023.

2022

  • Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Michael Leuschel, Christiane Schüle, Jörg Schipper
    VertiGo-App - Smartphone-based video nystagmography using artificial intelligence.
    In Laryngorhinootologie 2022, 101, 2, 243--244, 2022.
  • SMT solving for the validation of B and Event-B models.
    In Software Tools for Technology Transfer (STTT), Springer-Verlag, 2022.

    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

    Verantwortlichkeit: