Shayan Jalili awarded 2020 NASA fellowship for safety verification of parallel cyber-physical systems
Aerospace PhD pre-candidate Shayan Jalili is one of the few students in the nation awarded the 2020 NASA fellowship for his work on safety verification of cyber-physical systems, which is the formal verification of the safety of software systems that control physical and mechanical devices. |Short Read