About
I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. I am also a member of the Graduate School of Computer Science.
Most of my work focuses on how we can combine symbolic methods and deep learning. My work generally (but not completely) falls in these directions:
- Neural Guided Symbolic Methods: How can we use deep learning to help improve formal methods
- Symbolically Regularized Neural Methods: How can we use formal methods to help improve deep learning methods I also work on applying formal methods and deep learning to real life problems, such as law and regulations, autonoums systems and real life hardware.
