Postdoctoral research associate at Heinrich Heine University Duesseldorf. Interested in artificial intelligence, formal methods and programming languages.
-
University of Düsseldorf
- Düsseldorf
- www.joshua-schmidt.dev
Fabian Vu
favu100
PhD student at Heinrich-Heine-University, Düsseldorf
Heinrich-Heine-University Düsseldorf
Kristin Rutenkolk
rutenkolk
CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications(?).
Jannik Dunkelau
jdnklau
Doctoral student at Heinrich Heine University Düsseldorf. Interested in machine learning and formal methods.
University of Düsseldorf Düsseldorf, Germany