About
I am a Ph.D. student at Technical University of Munich working at the CISPA Helmholtz Center for Information Security. I am also a member of the TUM Graduate School.
Most of my work focuses on bridging symbolic methods and deep learning. My work generally falls into two 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 guide deep learning methods?
I also work on applying formal methods and deep learning to real-life problems, such as law and regulations, autonomous systems, and real-world hardware.
