
Ayoosh Bansal
PhD Candidate, Computer Science, University of Illinois Urbana-Champaign
I am passionate about crafting efficient systems to overcome complex challenges, striving to unravel intricacies with elegantly simple solutions. My problem-solving methodology revolves around harnessing expertise across diverse layers within a system, fostering collaboration among components, and prioritizing simplicity in design. This approach has empowered me to architect frameworks for safe autonomous driving, enable comprehensive security auditing for real-time systems, and mitigate execution variability stemming from cache coherence mechanisms. This research is advised by Prof. Lui Sha, at Cyber-Physical Systems Integration Lab.
Projects
News
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. |
Sep 4, 2022 | Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles preprint available. |
Jul 29, 2022 | Verifiable Obstacle Detection accepted to appear in ISSRE 2022. |
Jul 23, 2022 | Towards Efficient Auditing for Real-Time Systems accepted to appear in ESORICS 2022. |