About Me
I am a graduate student in the ECE department at UIUC advised by Prof. Sayan Mitra. I obtained bachelor’s and master’s degree at UIUC. My research interests include area of formal verification, reachability analysis and vision-based control.
Interests
- Formal Methods
- Reachability Analysis
- Vision-based Control Systems
- Drones and Fixedwing Aircraft
Education
PhD Electrical & Computer Engineering
University of Illinois Urbana Champaign
MS Electrical & Computer Engineering
University of Illinois Urbana Champaign
BSc Electrical Engineering
University of Illinois Urbana Champaign
Featured Projects
Recent Publications
(2025).
Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey.
Principles of Verification: Cycling the Probabilistic Landscape.
(2024).
Assuring safety of vision-based swarm formation control.
2024 American Control Conference (ACC).
(2024).
Refining perception contracts: Case studies in vision-based safe auto-landing.
arXiv preprint arXiv:2311.08652.
(2023).
Verse: A python library for reasoning about multi-agent hybrid system scenarios.
International Conference on Computer Aided Verification.
(2023).
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
EPiC Series in Computing.
Recent & Upcoming Talks
