I'm interested in back-end development, compiler techniques and type theory.
I have lots of experience with economical integration and accounting software.