Trey Woodlief

University of Virginia

I am a PhD candidate in Computer Science at the University of Virginia interested in autonomous system safety. I am a member of the LESS Lab and co-advised by Dr. Sebastian Elbaum and Dr. Kevin Sullivan. My research focuses on methods for measuring and improving autonomous system safety and correctness. Autonomous systems interact with the physical world and thus are almost always safety critical systems that require careful scrutiny. However, this interaction with the physical world also leads to very different software development and engineering paradigms than typical cyber-only software systems, rendering many of our prior cyber-only tools ill-suited to the task of verifying and validating real-world autonomous systems. My work aims to fill this gap by designing techniques that specifically address the unique issues that lie at the intersection of software engineering and autonomous systems.