David Kooi transferred from Cuesta College in San Luis Obispo to University of California Santa Cruz in 2016. He received his B.S in Computer Engineering from UC Santa Cruz in 2018. He is currently a Master's student at UC Santa Cruz and is part of the Hybrid Systems Lab. From 2014 - 2018, he worked at NASA Jet Propulsion Laboratory with the Small Scale Flight Software Group. His work includes: ground systems development, flight software autocoding, flight software development, and static analysis of flight software. He is interested in hybrid systems, automation, temporal logic, and controller synthesis from formal specifications.