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