jdnklau

Jannik Dunkelau jdnklau

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

Achievements

Software Engineer and Math enthusiast

Austin, Texas

focus in verification of real time embedded control system using static analysis, theorem proving

BUPT prof | Sharing latest AI papers & insights | Join me in embracing the AI revolution! #MachineLearning #AI #Innovation

PRIS BeiJing

Germany

PhD student at Heinrich-Heine-University, Düsseldorf

Heinrich-Heine-University Düsseldorf

Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

Hochschule Emden/ Leer

CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications(?).

Software Developer & Consultant at sciencentric AG

sciencentric AG Düsseldorf

Python & Golang enthusiast :)