Intern/junior researcher

Name: Daniël Johannes van Dijk
Education: MsC in Mathematics, University of Utrecht
Expertise: Maths, data modeling
Location: Utrecht, The Netherlands
Github: dannce
LinkedIn: danieljvandijk
Keybase: ddijk

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.