(1998–) Fancy number theorist-to-be (hopefully), Haskeller, something of a dependent typing evangelist, and Miles Davis fan (in roughly that order) chow soham at gmail, https://mrkgnao.github.io