Functional programmer, working in Crypto-world. Ex-researcher of type systems and functional programming.

I live in Kyoto.