Compiler Engineer, specialized in code generation.

I'm currently developing my skills in Haskell and Isabelle, because I think these are the tools of the future in software development and especially compiler development.