Florian Kammüller, Technische Universität Berlin, 2 weeks visit. Florian works with us in the context of several common developments and joint works in the domain of mechanised formalisation of programming languages and framework.
