For thirty years, people have been paying me for my expertise in numerical analysis, optimization, parallel algorithms, probability, and statistical computing. I also enjoy thinking about logic, category theory, analytic combinatorics, homotopy type theory and harmonic analysis, but so far nobody pays me for that.