As a PhD student in Computer Graphics, I am working on topics related to face imagery, such as forgery synthesis and forgery detection, as well as generative adversarial networks related to face videos. Other than that my interests are manifold and I have worked on static analysis and other formal methods topics before. I also have created a graphical proof assistant and am very interested in the art of programming and software engineering in general.As you can see I don't shy away from diving into new topics that are not at all related to what I did before ;-)