Currently pursuing M.Sc. in Information and Communication Systems at TU Hamburg (TUHH).
- 🔭 I’m currently working on Detection of Zeno Behaviour in Timed Automata and AI-Driven Threat/Risk Analysis.
- 🌱 I’m deeply passionate about Cyber-Physical Systems Security, Automotive Software, and Embedded Security (CAN Bus).
- 💼 Previously: Associate Engineer Intern at L&T Technology Services building smart car features & RKE systems.
- 💬 Ask me about Secure Software Development, ROS 2 Navigation, or System Integration.
- 📫 Reach me at: LinkedIn
Developed an AI-powered threat modeling system analyzing architecture diagrams/JSON to generate STRIDE threats and CVEs using NVD/CISA datasets.
Structure-oriented analysis pipeline for detecting Zeno behavior in UPPAAL models using abstraction networks and Tarjan's SCC algorithm.
Designed and simulated Autonomous Mobile Robot navigation strategies in Gazebo/ROS 2 using LiDAR and T-GA/A/K-L path planning algorithms.*
