I am a programmer. My hobby is to investigate a few capita selecta in mathematics: compiler construction (Knuth, De Remer et alii), including regular languages (Kleene), incompleteness (Gödel), and computability (Church, Turing, Kleene et alii). For my job, I occasionally investigate the primitives of elliptic curve cryptography. When my hobby leaves me time for my day job, I fortify the security of bitcoin markets and bitcoin exchanges. I am also involved as CTO in two startups.