Ph.D. Student at the University of Virginia interested in verification and analysis of machine learning systems.