About Me
I am a graduate student at Saarland University working with the Reactive Systems Group at CISPA Helmholtz Center for Information Security .
I am interested in the way we can combine symbolic methods and deep learning. More specifically, I am currently working on:
- Neural Perspective: I am developing machine learning models which are able to learn core formal methods problems such as model checking and synthesis, and how we can get these ideas to work on more complex examples.
- Symbolic Perspective: I am looking into way ideas from model checking and formal logic can help us analyze neural networks – allowing us to better understand and verify their behavior.
