Ph.D. Student at the University of Virginia. Interested in the validation and verification of autonomous systems.
Published in IEEE/ACM International Conference on Software Engineering (ICSE), 2021