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 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.