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