I'm a PhD student at Saarland University. Currently, I'm working on a masters degree in philosophy and pursue a doctoral degree in computer science. My research interests in computer science include formal logic, verification, and theory of software and hardware systems. Besides that, I'm also interested in programming languages, compiler construction, and static program analysis. My philosophical interests are philosophy of mind, mathematical philosophy, and machine explainability. As recreational activities, I enjoy cooking using modernist techniques, bouldering, and playing the keyboard.