Daniël Johannes van Dijk

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.

Role: Intern/junior researcher

Education: MsC in Mathematics, University of Utrecht

Expertise: Maths, data modeling

Location: Utrecht, The Netherlands
[] github
[] linkedin
[] keybase