Education: MsC in Mathematics, University of Utrecht
Expertise: Maths, data modeling
Location: Utrecht, The Netherlands
Daniël was an intern/junior of the research team at Statebox. His first assignment was to create a demo of data migration in AQL, and relate this to Statebox. Furthermore, he looked at the axiomatization of Petri nets in globular.science and/or a dependently typed language.