[’bik tor ’lo peθ xwan]?
I enjoy using mathematics and programming to understand and solve practical problems.
In my free time I enjoy fermented foods, Finnish sauna, light bouldering and board gaming. Although I am no expert, I enjoy discussing public policy, finance, biochemistry and human languages.
Check this out
- Various projects in which I have been involved.
- An introduction to programming with dependent types which I gave in the funcional programming meet-up. Video