Leading Engineering for Safe Software
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Trey Woodlief
adwiii
Computer Science PhD candidate at UVA. Interested in autonomous system safety.
University of Virginia