Maths, lambdas and rock'n'roll. Assistant Professor at @BernoulliInsti2. Member of @YAGroningen. OCaml enthusiast. Tweets are my own 💉💉💉
