Anemone Kampkötter, M.Sc. joins the research group

She joins the research group as a Ph.D. student and will work on methodologies for the evaluation of static program analyses.