I am a research assistant and PhD student at Technical University of Munich (Germany). My research interests include programming languages, compiler construction, static program analysis and model checking. I have been teaching functional programming (OCaml), program verification, tree automata and tree transducers recently. I am absolutely enthusiastic about the C++ programming language, which I started to program with at young age.