Annelot Bosman is a first year PhD student from Leiden University in the Netherlands. Her research focuses on the robustness verification of Deep Neural Networks. She is supervised by Holger H. Hoos and Jan van Rijn. She has a background in Econometrics and Operations Research.