She has worked in the field of static analysis for over three years, first at the startup Monoidics, and then at Facebook. Before that,she completed her PhD at the University of Munich in the field of analysis of memory bounds using type systems. She also co-authored several papers in the areas of static analysis and type theory.