Joshua Schmidt
Kontakt
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Email: joshua.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
- 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