Henson Seminar Featuring NASA's J. Tanner Slagel October 4
By SU Public Relations
SALISBURY, MD---Uncrewed aircraft systems have the potential to aid in disaster relief, from delivering essential supplies and medicine during a hurricane to controlling and tracking a wildfire. But are they safe?
Dr. J. Tanner Slagel, research computer scientist at NASA’s Langley Research Center, explores these increasingly complex and autonomous operations and the importance of safety assurance during the presentation “Proving Safety in Uncrewed Aircraft Systems” 4 p.m. Wednesday, October 4, in Room 103 of 黑料网’s Henson Science Hall.
Slagel will present formal methods, the process in which a system is proven to work using elements of mathematical analysis and foundational logic, and how formal methods applies to applications of interest to NASA.
Sponsored by SU’s Henson School of Science and Technology, admission is free and the public is invited. Those planning to park on campus must in advance for a free parking pass. For more information call 410-677-6747.
Learn more about SU and opportunities to Make Tomorrow Yours at the SU website.