About me
Dr. Slagel is a member of the Safety Critical Avionics Systems branch where he applies formal methods to assure safety- and mission-critical systems of interest to NASA, particularly systems involving uncrewed aircraft systems. He has been the lead researcher for an effort called Properly Assured Implementation of Differential Dynamic Logic for hybrid Program Verification and Specification (PlaidyPVS) and is the PI of an activity called Aerial AId, focused on enabling and assuring perception engines needed for medical UAS use-cases. This includes development of machine learning data sets and models for emergency medical use-cases from an aerial perspective. Before joining D320, Tanner completed his doctorate focused on inverse problems and large-scale optimization in the Mathematics Department at Virginia Tech. He started at NASA in the Summer of 2018 as a summer intern and joined NASA as a full-time Civil Servant August 2019.