Studied physics and machine learning, currently interested in functional programming and type theory.

As a hobby, I am developing a tool for computer aided learning.