About

I am a software engineer with interest in:

  • functional programming, in particular languages with rich type systems such as Haskell and Idris
  • computer science (type theory, cryptography)
  • mathematics (abstract algebra, category theory)
  • making use of the above to build cool stuff.

You can browse my LinkedIn profile or contact me (andrzej@DOMAIN.NAME).