I'm a (postdoctoral) research associate at the University of Edinburgh. Previously, I was a research associate at Barkhausen Institut, and before that I was a research assistant (PhD student) at the Center for Advancing Electronics Dresden (cfaed), part of TU Dresden. My undergradate background is in Physics (B.Sc.) and Mathematics (B.Sc., M.Sc.), which I studied at RWTH Aachen University.
My primary research interest is in the intersection of programming languages and compilers. Much of my work has focused on using models of computation to reason about an efficient execution of concurrent programs in heterogeneous multicore systems. An overarching goal of my research is to find the right abstractions that help both programmers and compilers reason about the program and its execution. I am interested in using theorem proving software and type theory to help bridge this gap, be it for hardware development or pure mathematics. From the other side, I am also interested in machine learning on compilers and programming languages.