Patrick Musau is an Electrical Engineering (EE) PhD student at Vanderbilt University. He joined the VeriVITAL research group in the Summer of 2017 under Dr. Taylor T. Johnson. Patrick's research  work focuses primarily in the use of verification techniques and software tools to foster the creation of intelligent autonomous Cyber-Physical Systems (CPS) with Learning-Enabled Components (LEC). Patrick has been part of the DARPA Assured Autonomy project for the last two years, where he has been working with unmanned underwater vehicles (in simulation), and an autonomous vehicle platform named the F1Tenth (simulation and hardware). He has also been involved in the development of the Neural Network Verification (NNV) toolbox that makes use of reachability analysis techniques to reason about the behavior of a variety of neural network architectures.  Patrick, enjoys working with autonomous drones and cars, and over the last couple of years, he has been a member of two Vanderbilt teams that have competed in the F1/10 autonomous racing competitions (2019 CPS-IoT Week and 2019 Embedded Systems week) and at the 2019 NSF CPS Drone Challenge.