Mathematician and a judo coach. I'm interested in science, philosophy, baroque music, zen meditation.

Researcher in mathematical logic, type theory, functional programming, formal verification, quantum computing.