I am a postdoctoral researcher in the Chair of Software Engineering at ETH Zürich. The overarching goal of my research is the advancement of theory, tools, and techniques for ensuring software correctness, with a special focus on evolving graph structures and concurrent object-oriented programs.