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

Lehrveranstaltungen (Sommersemester 2021)

  • Überblick Künstliche Intelligenz (Seminar)

Frühere Lehrveranstaltungen

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

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

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: