• Skip to primary navigation
  • Skip to main content
  • Skip to footer
Michigan Aerospace Engineering
  • News & Events
  • Alumni & Friends
  • Contact Us
  • About
    • Message from the Chair
    • Mission
    • History
    • Facts & Figures
    • FXB Building
    • Department Publications
    • Visit Us
    • Contact Us
    • Faculty Search
  • Culture
    • Diversity, Equity & Inclusion
    • Diversity, Equity & Inclusion Resources
    • Outreach & Partnerships
    • Student Life
    • Student Teams & Projects
    • Student Organizations
  • Research
    • Research Areas
      • Aerodynamics & Propulsion
      • Autonomous Systems & Control
      • Computation
      • Space Systems
      • Structures & Materials
      • Sustainable Aviation
    • Shared Facilities
    • Multidisciplinary Centers
    • Research Opportunities for Students
      • Graduate Research
      • Undergraduate Research
  • Undergraduate
    • Program Overview
    • Admissions
    • Degree Requirements
    • Scholarships
    • Study Abroad
    • Co-ops & Internships
    • Current Undergraduate Students
      • Declaring
      • Advising
      • Sequential Undergraduate/Graduate Studies (SUGS) Program
      • Undergrad Courses
      • Teaching Labs
      • Undergrad Awards
  • Graduate
    • Master of Science in Engineering
    • Master of Engineering
    • Doctor of Philosophy
    • Admission Guidelines & Planning
    • Application Process
    • Funding
    • Current Graduate Students
      • Grad Courses
      • Aero 590 Projects
      • Grad Awards
  • People
    • Faculty
      • Core Faculty
      • Research Faculty
      • Adjunct Faculty
      • Emeritus Faculty
      • Affiliated Faculty
    • Staff
    • News & Events
    • Alumni & Friends
    • Contact Us

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.

Written by: Madeline Trumbauer

December 17, 2020

Under the advisorship of Professor Jean-Baptiste Jeannin, Jalili has been working on safety verification of parallel cyber-physical systems to ensure that multiple machines can function when interacting in the same environment. He combines techniques from computer science, aerospace engineering, mechanical engineering, and electrical engineering to guarantee the safety of a model. The proposed work models cyber-physical systems in the programming language Zelus, a synchronous programming language that enables parallelism, and adds verification capabilities to Zelus to guarantee the safety of critical components. The developed techniques will be applicable to many domains, such as ensuring collision avoidance for airplanes, cars or robots, as well as low-level control software present on aircraft.

Portrait of Shayan Jalili

“No matter how technology advances, “if we cannot verify and guarantee the safety of a system, it is not a good idea to use it in critical scenarios. But in the realm of cyber-physical systems, such critical scenarios where we need safety guarantees appear more and more often,” Jalili explained.

As part of his 2020 NASA fellowship, Jalili will continue his research over the summer at Langley Research Center in Hampton, Virginia to work alongside other fellows in the Formal Methods Group.

Before pursuing his PhD in Aerospace Engineering at the University of Michigan, Shayan received his Bachelors in Computer Engineering from the University of Maryland, College Park.


MEDIA CONTACT

Michigan Aerospace logo

Michigan Aerospace Engineering

Communications Team

ae-social@umich.edu

Explore: Aerospace Engineering Awards Students Graduate Students Honors and Awards

Footer

Michigan Engineering
  • News & Events
  • Giving
  • COVID-19 Updates
  • Contact Us
  • U-M Engineering Home
  • Strategic Vision
  • Graduate and Professional
  • Undergraduate
  • U-M Engineering Research News

© 2023 The Regents of the University of Michigan Ann Arbor, MI 48109 USA Privacy Policy | Non-Discrimination Policy | Campus Safety

  • Facebook
  • Flickr
  • Instagram
  • Twitter
  • YouTube