I'm interested in back-end development, compiler techniques and type theory.

I have lots of experience with economical integration and accounting software.