Profile Image

About Me

I’m a developer at Busbud, and I’m very happy to be part of their team! We use a full javascript stack, and I work mostly in the backend.

In my spare time I focus on statically-typed functional languages and the mathsy side of programming.

My main interests are currently Haskell and TLA+. If you haven’t heard of TLA+, the intro to Leslie Lamport’s video course is a great place to learn more.

rss facebook twitter github gitlab youtube mail spotify lastfm instagram linkedin google google-plus pinterest medium vimeo stackoverflow reddit quora quora