Zum Inhalt springenZur Suche springen

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:

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 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

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

2022

  • Jannik Dunkelau, Manh Khoi Duong
    Towards Equalised Odds as Fairness Metric in Academic Performance Prediction.
    In 2nd Workshop on Fairness, Accountability, and Transparency in Educational Data, 2022.

2021

  • Jannik Dunkelau, Leo Baldus
    Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning.
    In 3rd Workshop on Artificial Intelligence and Formal Verification, CEUR Workshop Proceedings, 2987, 83--89, 2021.

2020

2019

2018

  • Machine Learning and AI Techniques for Automated Tool Selection for Formal Methods.
    In Proceedings of the PhD Symposium at iFM’18 on Formal Methods:Algorithms, Tools and Applications, Research Report, 483, University of Oslo, 2018.
Verantwortlichkeit: