About Me

I am a lecturer in Computer Science at Constructor University Bremen, where I have the privilege of working with students as they take their first steps into the world of rigorous software thinking. My path to this role has been shaped by a long-standing fascination with the question that sits quietly beneath every program: why should we trust it?

That question led me to formal verification and software testing—two pillars of dependable software—and later to the exciting intersection where these classical techniques meet modern machine learning. I enjoy exploring how mathematical precision and empirical methods can reinforce each other, and how combining them may help us build systems that behave not only correctly, but also robustly and transparently.

Over the years I have taught courses ranging from programming and software architecture to verification and formal methods. Teaching is, for me, an opportunity to rethink what I know: every new class is a reminder that concepts only truly live when they become someone else’s understanding. I strive to make theory feel practical, and practice feel principled.

At Constructor University, my current responsibilities span lecturing, mentoring students, and developing research that bridges correctness, testing, and learning-based techniques. I see all of these activities as different forms of the same mission: helping shape a generation of engineers who build software with clarity, responsibility, and a sense of intellectual curiosity.