My name is Christian Hagemeier and I did my bachelor’s thesis at the Programming Systems Lab. I'm currently doing a master’s in Logic and Philosophy of Science at the Munich Center for Mathematical Philosophy.
