Completed my Ph.D. in Computer Science at the University of Virginia, advised by Sebastian Elbaum. Dissertation focused on testing and analysis techniques for AI/ML-enabled safety-critical autonomous systems.