Ayoosh Bansal
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)
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
Oct 31, 2023 | The long road to the first publication |
---|