- 🔭 I am currently a PhD Candidate in the Interdisciplinary Intelligent Research Laboratory at Clemson University under Dr. Yue "Sophie" Wang.
- 🌱 My research interests lie in neurosymbolic deep learning, formal verification, and controls for robotics and autonomous vehicle applications.
- 🎓 I hold an M.S. in Mechanical Engineering from Purdue University and a B.E. in Mechanical Engineering from the University of Pune.
- 💬 Ask me about robotics, formal verification, semantic 3D mapping, and autonomous navigation.
- Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles (SEVIN) - ICCPS 2025
- Temporal Logic Guided Robot Navigation (Faster) - IFAC 2024
- Safety Verification of Autonomous Vehicles based on Signal Temporal Logic (STL) constraints - SAE 2023
- 🤖 SEVIN_ICCPS_RE_Package: Variational Autoencoders for explainable latent space encoding and efficient formal verification of neural network controllers.
- 🚗 Faster_TLG-RN: 2D controller synthesis combining Linear and Signal Temporal Logic specifications to guarantee safe and robust navigation for ground robots.
- 🗺️ Semantic 3D Mapping: Deployed on Husky robots using the Octomap library, fusing semantically segmented RGB data with LiDAR point clouds.
- 🏎️ AI RC Car: Developed an autonomous lane-keeping and sign-detecting RC car using ResNet-based CNNs and OpenCV.
- Robotics & AI: ROS/ROS2, OpenCV, MoveIt, Formal Verification, Neural Network Controllers, Semantic Mapping
- Hardware: Husky robots, NVIDIA Jetson AGX, UR5 manipulators, LiDAR, Stereo Cameras, IMU