Ayoosh Bansal

prof_pic.jpg
The focus of my research is system architecture design, utilizing expertise across various components and layers within systems to foster collaborative integrations while prioritizing simplicity in design to create effective solutions.

My research interests span functional safety, temporal safety, and security in cyber-physical and real-time systems. Prior works architected frameworks for achieving verifiable safety in autonomous vehicles, mitigated execution time variability stemming from cache coherence mechanisms, and enabled security auditing in real-time systems.

I earned my PhD in CS at UIUC , advised by Prof. Lui Sha, MS in ECE at UWM, and BE Hons. EEE at BITS Pilani. In the past, I have worked at Nvidia, addressing execution time variability, building pre-silicon test infrastructure, and developing kernel drivers for Tegra systems. I also worked at NetApp, developing networked file systems.

Resume (Last Updated: Aug 12, 2024)
Curriculum vitae (Last Updated: Aug 12, 2024)



This video summarizes the research conducted during my PhD.



news

Jul 03, 2024 Dissertation, titled Safe and Secure Autonomous Vehicles, successfully defended and accepted.
May 28, 2024 Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles amidst Obstacle Detection Faults published in the journal Software Testing, Verification and Reliability.
Dec 05, 2023 Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing preprint available.
Sep 12, 2023 System Auditing for Real-Time Systems accepted for ACM Transactions on Privacy and Security.
Aug 25, 2023 Synergistic Perception and Control Simplex abstract accepted for AIAA SciTech 2024.

latest posts

selected publications

  1. Conference
    Verifiable obstacle detection
    Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, and Lui Sha
    In 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) , 2022
  2. Journal
    System Auditing for Real-Time Systems
    Ayoosh Bansal, Anant Kandikuppa, Monowar Hasan, Chien-Ying Chen, Adam Bates, and Sibin Mohan
    ACM Transactions on Privacy and Security (TOPS), Sep 2023
  3. Journal
    Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
    Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, and Lui Sha
    Software Testing, Verification and Reliability, Sep 2024
  4. Conference
    Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing
    Ayoosh Bansal, Yang Zhao, James Zhu, Sheng Cheng, Yuliang Gu, Hyung Jin Yoon, Hunmin Kim, Naira Hovakimyan, and Lui R Sha
    In AIAA SCITECH 2024 Forum , Sep 2024