I’m a Machine Learning master’s student at the University of Tübingen with a background in Computer Science and Cognitive Science. My research interests lie at the intersection of machine learning, formal methods, and automated theorem proving.
Shallow Deep Dive is a collection of articles exploring topics in machine learning and computer science — building from accessible intuitions to technical depth. Writing is how I learn: each post is an attempt to truly understand a concept by explaining it clearly.