Düsseldorf, Germany

Jannik Dunkelau

Advanced
@jdnklau

Doctoral student at Heinrich Heine University Düsseldorf. Interested in machine learning and formal methods.

fm-ml. Collection of resources for research concerning Machine Learning and Formal Methods.

102

pydpll. Naive implementation of the DPLL algorithm for SAT solving in Python

2

twitch-chat-leaderboard. App to keep track of your most active viewers.

2

prob-backend-analysis. Analysis of the ProB Backends via inTrees, extracting knowledge from random forests. Code for the publication "Analysing ProB's Constraint Solving Backends: What do they know? Do they know things? Let's find out!".

1
4
Apply