Playing piano since I can remember, doing improv theatre since quite a few years. Functional programmer (Haskell, Idris, Agda) and mathematical physicist.