Jannik Dunkelau
Contact Information
Heinrich Heine University Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Room: 25.12.02.52
Phone: +49 211 81-12635
Email:
Research Interests
- Integration of formal methods with machine learning and artificial intelligence
- Machine learning for improvement of formal methods
- Verification of artificial neural networks and machine learning systems
- Symbolic and explainable AI
- Fairness-aware Machine Learning
Past Courses
- Overview of Artificial Intelligence (Seminar, Summer Term 2022)
- Overview of Artificial Intelligence (Seminar, Summer Term 2021)
- Overview of Artificial Intelligence (Seminar, Summer Term 2020)
- Overview of Artificial Intelligence (Seminar, Summer Term 2019)
- Safety-Critical Systems (Tutorial, Winter Term 2018)
- Programming Project I (Tutorial, Summer Term 2018)
Concluded Theses
I supervised the following theses.
Name | Title | Type |
|---|---|---|
| Matvey Lorkish | Fair and Transparent Decision Making With Decision Tree Evolution | Bachelor Thesis |
| Mariama Marfo | Bestimmung von Proxi-Variablen des geschützten Attributs und deren Einfluss auf die Klassifikationsvorhersage in Fair Machine Learning | Bachelor Thesis |
| Heiko Kauschke | The CART of Prolog: Implementierung von Entscheidungsbäumen mittels logischer Programmierung | Bachelor Thesis |
| Simon Dräger | Loss Function Variation in Supervised Deep Learning: The Classification Case | Bachelor Thesis |
| Konrad Brixius | Machine Learning zur Klassifikation bikuspider Aortenklappen anhand von EKG-Daten | Bachelor Thesis |
| Lena Hilger | Bereinigung der Trainingsdaten für faires Machine Learning: Anwendung eines Genetischen Algorithmus | Bachelor Thesis |
| Lian Remme | Performance Fuzzing for ProB Using Reinforcement Learning | Bachelor Thesis |
| Timo Bolte | Erkennung von Prolog-Code-Klonen mit Hilfe von Word Embedding Learning | Bachelor Thesis |
| Simon Scheel | Constraint Solving in der Dienstplangestaltung: Eine Java Adaption des Nurse Scheduling Problems | Bachelor Thesis |
| Kevin Schröder | Machine-Learning-Verfahren zur Vorhersage von Belohnungspräferenzen anhand von EEGs | Master Thesis |
| Melina Richard | Bestimmung des Grades der Aortenklappenstenose in EKG-Daten mittels Machine Learning | Bachelor Thesis |
| Christian Karamann | Mit XAI der Black Box an den Kragen: Ein Überblick über Techniken zur Erklärungsfindung in Machine Learning | Bachelor Thesis |
| Dominik Brandt | Implementing General Game Playing in Prolog: Applying MCTS to Three Examples | Bachelor Thesis |
| Tim Richter | Autoencoding ProB Constraints for Classification Tasks | Bachelor Thesis |
| Leo Baldus | Backend Selection for ProB Based on Ranked Runtime Predictions | Bachelor Thesis |
| Benedikt Jung | Vergleich fairer Machine-Learning-Algorithmen | Bachelor Thesis |
| Aycan Aytan | The Preference Beyond: Applying Deep Forests to Predict Individual Reward Preferences From Reward-Locked ERPs | Bachelor Thesis |
| Jessica Petrasch | The Decision Does Not Fall Far from the Tree: Automatic Configuration of Predicate Solving | Master Thesis |
Open topics for bachelor and master theses can be found here (German).
Publications
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