Jannik Dunkelau
Kontakt
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Raum: 25.12.02.52
Tel.: +49 211 81-12635
Email: jannik.dunkelau(at)hhu.de
Forschungsinteressen
- Integration formaler Methoden mit Machine Learning und künstlicher Intelligenz
- Machine Learning zur Verbesserung formaler Methoden
- Verifikation von neuronalen Netzen und Machine-Learning-Systemen
- Symbolic and Explainable AI
- Fairness in Machine Learning
Frühere Lehrveranstaltungen
- Überblick Künstliche Intelligenz (Seminar, Sommersemester 2022)
- Überblick Künstliche Intelligenz (Seminar, Sommersemester 2021)
- Überblick Künstliche Intelligenz (Seminar, Sommersemester 2020)
- Überblick Künstliche Intelligenz (Seminar, Sommersemester 2019)
- Sicherheitskritische Systeme (Übung, Wintersemester 2018)
- Programmierpraktikum I (Tutorium, Sommersemester 2018)
Abschlussarbeiten
Die folgenden Abschlussarbeiten habe ich (mit)betreut.
Name | Titel | Art |
|---|---|---|
| Thomas Leistikow | Schildsynthese für Reinforcement Learning mithilfe von Worldmodels und Unsicherheitsabschätzungen | Masterarbeit |
| Davin Holten | Validierung von Reinforcement-Learning-Agenten mittels Trace-Analyse | Bachelorarbeit |
| Matvey Lorkish | Fair and Transparent Decision Making With Decision Tree Evolution | Bachelorarbeit |
| Mariama Marfo | Bestimmung von Proxi-Variablen des geschützten Attributs und deren Einfluss auf die Klassifikationsvorhersage in Fair Machine Learning | Bachelorarbeit |
| Heiko Kauschke | The CART of Prolog: Implementierung von Entscheidungsbäumen mittels logischer Programmierung | Bachelorarbeit |
| Simon Dräger | Loss Function Variation in Supervised Deep Learning: The Classification Case | Bachelorarbeit |
| Konrad Brixius | Machine Learning zur Klassifikation bikuspider Aortenklappen anhand von EKG-Daten | Bachelorarbeit |
| Lena Hilger | Bereinigung der Trainingsdaten für faires Machine Learning: Anwendung eines Genetischen Algorithmus | Bachelorarbeit |
| Lian Remme | Performance Fuzzing for ProB Using Reinforcement Learning | Bachelorarbeit |
| Timo Bolte | Erkennung von Prolog-Code-Klonen mit Hilfe von Word Embedding Learning | Bachelorarbeit |
| Simon Scheel | Constraint Solving in der Dienstplangestaltung: Eine Java Adaption des Nurse Scheduling Problems | Bachelorarbeit |
| Kevin Schröder | Machine-Learning-Verfahren zur Vorhersage von Belohnungspräferenzen anhand von EEGs | Masterarbeit |
| Melina Richard | Bestimmung des Grades der Aortenklappenstenose in EKG-Daten mittels Machine Learning | Bachelorarbeit |
| Christian Karamann | Mit XAI der Black Box an den Kragen: Ein Überblick über Techniken zur Erklärungsfindung in Machine Learning | Bachelorarbeit |
| Dominik Brandt | Implementing General Game Playing in Prolog: Applying MCTS to Three Examples | Bachelorarbeit |
| Tim Richter | Autoencoding ProB Constraints for Classification Tasks | Bachelorarbeit |
| Leo Baldus | Backend Selection for ProB Based on Ranked Runtime Predictions | Bachelorarbeit |
| Benedikt Jung | Vergleich fairer Machine-Learning-Algorithmen | Bachelorarbeit |
| Aycan Aytan | The Preference Beyond: Applying Deep Forests to Predict Individual Reward Preferences From Reward-Locked ERPs | Bachelorarbeit |
| Jessica Petrasch | The Decision Does Not Fall Far from the Tree: Automatic Configuration of Predicate Solving | Masterarbeit |
Eine Liste der am Lehrstuhl offenen Themen für Abschlussarbeiten finden Sie hier.
Veröffentlichungen
2024
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system.In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5
- Validation of Reinforcement Learning Agents and Safety Shields with ProB.In Proceedings NFM 2024, LNCS, 14627, Springer, 279--297, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-60698-4_16
2023
- Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.In iFM 2023, Springer, 237--256, 2023.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-031-47705-8_13
2022
2021
2020
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30
- Towards a Shared Specification Repository.In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_22
- 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
- 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
- Embedding High-Level Formal Specifications into Applications.In Proceedings FM, LNCS, 11800, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31