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
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.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-85248-1_7
2020
- Analysing ProBâs Constraint Solving Backends.In Proceedings ABZ, LNCS, 12071, Springer, 107--123, 2020.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-48077-6_8
2019
- Measuring Coverage of Prolog Programs Using Mutation Testing.In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
- Automated Backend Selection for ProB Using Deep Learning.In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9