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).