Annelot Bosman

PhD student at @ADA-research at Leiden University. Working on AutoAI for Neural Network Verification