Studied physics and machine learning, currently interested in (dependently typed) functional (reactive) programming, type theory and category theory.

Doing number crunching for living.