I am computer scientist working on improving safety and interpretability of artificial intelligence and collaborating with researchers in the US, Europe, Japan, and Australia. I am leading a team designing algorithms inspired by formal methods with real-world applications spanning engineering, transportation, health, and finance. Take a look at our projects and publications. Learn about my career path in DerStandard: “Warum so wenige Frauen Den Code knacken wollen”. As part of my service, I lead several initiatives promoting junior computer scientists from underrepresented communities. More in my interview to the university magazine Delta.