I’m a scientific researcher at the #fortiss research institute, and a PhD candidate at the Technical University of Munich, #TUM-SSE.

My research lies at the intersection of #Assurance, #knowledgeRepresentation & #reasoning on one side, and the #software, #artificialIntelligence & #hybridSystem on the other. I'm also interested in other properties (#alignment, #regulatoryCompliance, #trustworthiness, #adversarialRobustness) related to novel architectures (#foundationModel, #compoundAI, #neurosymbolicAI).

This website is a clearinghouse for my work and ideas. I try to make all my publications available on #arXiv and ResearchGate. Any comments, reviews, critiques, or objections are invited and should be sent to me by e-mail.