About Me

Hi, I'm Philipp. At day, I'm a PhD student at Tallinn University of Technology, studying type theory, in particular Homotopy Type Theory and its applications to Computer Science. At night, I enjoy tinkering with my computer.