Mission. I'm researching the integration of differentiable programming and probabilistic programming techniques. I'm also interested in neuro-symbolic learning. I am developing a deep probabilistic programming language with exact inference and neurosymbolic aspects. Looking for a thesis? Get in touch if you are interested in programming languages and compilers, particularly those with strong and expressive type systems, and their application in AI/ML. Or if you are interested in generalizations of tractable probabilistic models. Other research interests include turing-complete and relational models as well as program search.

Timeline.

2020 - now:	Ph.D. student at the Machine Learning Lab, CS Department, TU Darmstadt, Germany
2017 - 2020:	M.Sc. in Computer Science, TU Darmstadt
2013 - 2017:	B.Sc. in Computer Science, TU Darmstadt